Français
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
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Logics (in alphabetical order)
Conclusion
Bibliography
The Ultimate Scientific and Technical Reference
