scientific article; zbMATH DE number 4002342
From MaRDI portal
Publication:3754790
zbMATH Open0618.18001MaRDI QIDQ3754790FDOQ3754790
Authors: Luca Barbieri-Viale 
Publication date: 1986
Title of this publication is not available (Why is that?)
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
latticeGalois connectionsBoolean algebraHeyting algebrahyperdoctrinesdoctrinescategories of posetsregular monoidal categories
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)
Cited In (12)
- Title not available (Why is that?)
- Yoneda structures and KZ doctrines
- A logic for categories
- Title not available (Why is that?)
- Hyperdoctrines and the ontology of stratified semantics
- 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)
