J. Michael Dunn's PhD dissertation occupies a unique place in the development of the algebraic approach to logic. In The Algebra of Intensional Logics , Dunn introduced De Morgan monoids, a class of algebras in which the algebra of R (the logic of relevant implication) is free. This is an example where a logic's algebra is neither a Boolean algebra with further operations, nor a residuated distributive lattice. De Morgan monoids served as a paradigm example for the algebraization of other relevance logics, including E , ...
Read More
J. Michael Dunn's PhD dissertation occupies a unique place in the development of the algebraic approach to logic. In The Algebra of Intensional Logics , Dunn introduced De Morgan monoids, a class of algebras in which the algebra of R (the logic of relevant implication) is free. This is an example where a logic's algebra is neither a Boolean algebra with further operations, nor a residuated distributive lattice. De Morgan monoids served as a paradigm example for the algebraization of other relevance logics, including E , the logic of entailment and R-M ingle ( RM ), the extension of R with the mingle axiom. De Morgan monoids extend De Morgan lattices, which algebraize the logic of first-degree entailments that is a common fragment of R and E . Dunn studied the role of the four-element De Morgan algebra D in the representation of De Morgan lattices, and from this he derived a completeness theorem for first-degree entailments. He also showed that every De Morgan lattice can be embedded into a 2-product of Boolean algebras, and proved related results about De Morgan lattices in which negation has no fixed point. Dunn also developed an informal interpretation for first-degree entailments utilizing the notion of aboutness, which was motivated by the representation of De Morgan lattices by sets. Dunn made preeminent contributions to several areas of relevance logic in his career spanning more than half a century. In proof theory, he developed sequent calculuses for positive relevance logics and a tableaux system for first-degree entailments; in semantics, he developed a binary relational semantics for the logic RM . The use of algebras remained a central theme in Dunn's work from the proof of the admissibility of the rule called γ to his theory of generalized Galois logics (or ``gaggles''), in which the residuals of arbitrary operations are considered. The representation of gaggles---utilizing relational structures---gave a new framework for relational semantics for relevance and for so-called substructural logics, and led to an information-based interpretation of them.
Read Less
Add this copy of The Algebra of Intensional Logics to cart. $19.39, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 2019 by College Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of The Algebra of Intensional Logics to cart. $21.16, new condition, Sold by Paperbackshop International rated 4.0 out of 5 stars, ships from Fairford, GLOS, UNITED KINGDOM, published 2019 by College Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of The Algebra of Intensional Logics to cart. $24.46, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2019 by College Publications.
Add this copy of The Algebra of Intensional Logics (Paperback Or to cart. $26.77, new condition, Sold by BargainBookStores rated 4.0 out of 5 stars, ships from Grand Rapids, MI, UNITED STATES, published 2019 by College Publications.
Add this copy of The Algebra of Intensional Logics to cart. $30.60, new condition, Sold by Russell Books rated 4.0 out of 5 stars, ships from Victoria, BC, CANADA, published 2019 by College Publications.
Add this copy of The Algebra of Intensional Logics to cart. $44.69, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2019 by College Publications.
Add this copy of The Algebra of Intensional Logics to cart. $75.17, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2019 by College Publications.
