Français
1. Logic classification
Non-classical (formal) logics refer to the types of logical systems that differ from classical logics, i.e. from propositional logic and predicate logic
In the specialist literature, and also in this article, the terms "logic" and "logic systems" are often used interchangeably.
A logic can have a more or less rich vocabulary (i.e. an alphabet with more or less symbols), a more or less strict syntax (i.e. an expressive power leading to more or less well-formed formulas), a more...
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
Logic classification
Logics (in alphabetical order)
Bibliography
The Ultimate Scientific and Technical Reference
