scientific article; zbMATH DE number 549966
From MaRDI portal
Publication:4287485
distributive lattice with additional finitary operationsdistributoidequational definabilitygaggleGalois connectionsJónsson-Tarski representation theoremKripke semanticsresiduation
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Structure and representation theory of distributive lattices (06D05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Recommendations
Cited in
(60)- Behavioral algebraization of logics
- Optionality, scope, and licensing: An application of partially ordered categories
- Galois structures
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Constructive agents
- Multimodal linguistic inference
- Symmetric generalized Galois logics
- Computational complexity for bounded distributive lattices with negation
- Implicational tonoid logics: algebraic and relational semantics
- Implicational partial Galois logics: relational semantics
- Neighbourhood semantics for quantified relevant logics
- On the universality of atomic and molecular logics via protologics
- Basic quasi-Boolean expansions of relevance logics
- Algorithmic correspondence and canonicity for non-distributive logics
- Valuations: bi, tri, and tetra
- Disentangling structural connectives or life without display property
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Current trends in substructural logics
- Duality for normal lattice expansions and sorted residuated frames with relations
- Neighbourhood semantics for modal relevant logics
- Kapsner complementation: an algebraic take on Kapsner strong logics
- Categories: how I learned to stop worrying and love two sorts
- Stone-type dualities for separation logics
- On split negation, strong negation, information, falsification, and verification
- Probabilistic Interpretations of Predicates
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Distributed modal logic
- Tracking information
- A ``reply to my ``critics
- Changing a Semantics: Opportunism or Courage?
- Algebraic Valuations as Behavioral Logical Matrices
- Autonomous posets and quantales
- On the ternary relation and conditionality
- Distributed Relation Logic
- On displaying negative modalities
- Modes of adjointness
- Galois connections in categorial type logic
- Interpretations of weak positive modal logics
- St. Alasdair on Lattices Everywhere
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- Syntactic Completeness of Proper Display Calculi
- Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Towards universal logic: gaggle logics
- Towards universal logic: gaggle logics
- Two traditions in abstract valuational model theory
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- A study of algebraic structures and logics based on categories of rough sets
- From modal Ockham algebras to modal Berman variety: relational semantics and Kripke-completeness
- Implicational tonoids and their representations
- A categorical analysis of compatibility frames
- Fine's semantics for relevance logic and its relevance
- Choice-free dualities for lattice expansions: application to logics with a negation operator
- Some theorems of Birkhoff in tonoid matrices
- Polyadic De Morgan monoids: functional representation and MG structures
- Relational semantics for Kleene logic and action logic
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- The nature of the extended analog computer
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
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 Q4287485)
