• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
The Algebra of Intensional Logics

The Algebra of Intensional Logics

Paperback

FictionLogic

ISBN10: 1848903189
ISBN13: 9781848903180
Publisher: Kings College Pubn
Published: Oct 30 2019
Pages: 144
Weight: 0.47
Height: 0.31 Width: 6.14 Depth: 9.21
Language: English

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-Mingle (RM), the extension of R with the mingle axiom.

Also in

Fiction