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...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Logic classification
Logics (in alphabetical order)
Article included in this offer
"Mathematics"
(
165 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!
