scientific article; zbMATH DE number 19495

MaRDI QIDQ3978982zbMATH OpenFDO

Authors F. William Lawvere

Publication date 26 June 1992

zbMATH Keywords

Heyting algebrasLeibniz rulelattices order-dual to frames

Mathematics Subject Classification ID

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

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

(20)

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

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)