The paper elaborates two points: i) There is no principal opposition between predicate logic and adherence to subject-predicate form, ii) Aristotle's treatment of quantifiers fits well into a modern ...

In [1], the formulation of monadic BL-algebras was explored as an equivalent algebraic semantics for a fragment of fuzzy predicate logic, underscoring how quantifiers can be seamlessly integrated ...

We obtain an almost everywhere quantifier elimination for (the noncritical fragment of) the logic with probability quantifiers, introduced by the first author in [10].