2. Logics (in alphabetical order)
The following brief presentation of a large (but not exhaustive) number (over two hundred) of logics (in fact logic systems) is presented in alphabetical order for simplicity and efficiency of access.
2.1 Abelardian logics
Abelardian logics are a collection of connective logics.
Abelardian logics accept Aristotle's law, i.e. the formula
, which asserts that no proposition φ is a consequence of its own negation, and Abelard's principle
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Logics (in alphabetical order)
Conclusion
Article included in this offer
"Mathematics"
(
167 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
