Among them were William of Ockham (c. 1285 1347), the author of an important Summa logicae ("Summary of Logic") and other logical writings.
In particular we detail the fact that they preserve proofs in equational logic, as well as proofs in other logical systems like propositional logic with modus ponens or proofs using resolution rule.
It is expected that similar techniques could also apply to to other logical formalisms, such as deontic logic [39].
Its methods proved to be extremely useful in exploring the realms of non-monotonic logics, reasoning under incomplete information and other logical systems within artificial intelligence.
Philosophers have been no less interested in the ontological commitments of theories couched within other logical frameworks, such as higher-order or intensional logics (see §1.7.2 and §1.7.3).
Thus, quantifiers are on a par with the other logical operations, in sharp contrast with the other algebraic approaches to logic.
Or any other logical story.
But there was no other logical conclusion.
There seems no other logical reason.
They deploy false analogies and other logical fallacies.
And who has ever watched them in chronological — or any other logical — order?
