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 $\neg (\neg φ \to φ)$ , which asserts that no proposition φ is a consequence of its own negation, and Abelard's principle

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Ongoing reading
Logics (in alphabetical order)

Previous
page Logic classification

Conclusion

Article included in this offer

"Mathematics"

( 165 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details

Bibliography

(1) - ALLEN (C.), HAND (M.) - Logic Primer, - Massachusetts Institute of Technology, 2 ^nd ed., xvii + 191 pages (2001).
(2) - ALLIOT (J.-M.), SCHIEX (T.), BRISSET (P.), GARCIA (F.) - Intelligence artificielle &...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!