scientific article; zbMATH DE number 4002342

MaRDI QIDQ3754790zbMATH OpenFDO

Authors Luca Barbieri-Viale

Publication date 1986

zbMATH Keywords

latticeGalois connectionsBoolean algebraHeyting algebrahyperdoctrinesdoctrinescategories of posetsregular monoidal categories

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Categorical logic, topoi (03G30) Topoi (18B25) Functor categories, comma categories (18A25) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• Lattice-theoretic properties of algebras of logic
• On semilattices and lattices for families of theories
• Further properties of lattices of equational theories
• The lattice of definability: origins, recent developments, and further directions
• Lattice-theoretic models of conjectures, hypotheses and consequences
• The lattice of definability. Origins, recent developments, and further directions
• scientific article; zbMATH DE number 1471993
• Lattices and Their Consistent Quantification
• On \(S\)-concept lattice theory
• scientific article; zbMATH DE number 7407017

Cited in

(12)

• Yoneda structures and KZ doctrines
• scientific article; zbMATH DE number 7407017 (Why is no real title available?)
• A logic for categories
• Hyperdoctrines and the ontology of stratified semantics
• scientific article; zbMATH DE number 1501646 (Why is no real title available?)
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• A co-free construction for elementary doctrines
• Doctrines, modalities and comonads
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• \(\mathbb{T}\)-motives

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 Q3754790)