scientific article; zbMATH DE number 19495

DOI10.1007/BFB0084226MaRDI QIDQ3978982zbMATH OpenFDO

Authors F. William Lawvere

Publication date 26 June 1992

Published in Lecture Notes in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0084226

zbMATH Keywords

Heyting algebraslattices order-dual to framesLeibniz rule

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25)

Review text

[For the entire collection see Zbl 0733.00009.] This rather dense short paper advocates and begins a study of lattices opposite (order-dual) to frames or, more generally, Heyting algebras. The author's main concern is with the opposite of intuitionist `not', which he calls `non'; thus \(P\) or non-\(P\) must hold, perhaps both. The last case is called \(\partial P\). The central theorem gives somewhat complex but usable conditions for validity of the `Leibniz rule' \(\partial(A\times B)=(\partial A)\times B\cup A\times(\partial B)\).

Recommendations

• On the Heyting algebra objects in a topos
• Internal logic of the H-B topos
• The Lee identities in topoi. I
• The logic of partitions: introduction to the dual of the logic of subsets

Cited in

(24)

• Completeness results for intuitionistic and modal logic in a categorical setting
• A Yabloesque paradox in epistemic game theory
• Elementary axioms for local maps of toposes
• Bi-Heyting algebras, toposes and modalities
• Unity and identity of opposites in calculus and physics
• Symmetric Heyting relation algebras with applications to hypergraphs
• Relations on hypergraphs
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• Three lessons on the topological and algebraic hidden core of rough set theory
• Cohesive Toposes and Cantor's 'lauter Einsen'
• scientific article; zbMATH DE number 1080908 (Why is no real title available?)
• The logic of discrete qualitative relations
• Modes of adjointness
• The evil twin: the basics of complement-toposes
• Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
• From (paraconsistent) topos logic to universal (topos) logic
• Quantum geometry of Boolean algebras and de Morgan duality
• The successive dimension, without elegance
• Crypto-preorders, topological relations, information and logic
• Bi-intermediate logics of trees and co-trees
• Profinite bi-Heyting algebras
• Foreword
• Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
• Renormalization bi-Heyting algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3978982)