The Algebra of Intensional Logics

Viac o knihe

The book presents a groundbreaking exploration of De Morgan monoids, a unique class of algebras that supports the algebra of relevant implication logic. It highlights how these monoids differ from traditional Boolean algebras and residuated distributive lattices. By using De Morgan monoids as a foundational example, the work advances the algebraic approach to logic, influencing the algebraization of various relevance logics, including entailment logic and the R-Mingle extension.