scientific article; zbMATH DE number 19495

zbMATH Open0745.18002MaRDI QIDQ3978982FDOQ3978982

Authors: F. William Lawvere 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Heyting algebrasLeibniz rulelattices order-dual to frames

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Relations on hypergraphs
• Bi-Heyting algebras, toposes and modalities
• Modes of adjointness
• 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)