scientific article; zbMATH DE number 549966
From MaRDI portal
Publication:4287485
zbMath0814.03044MaRDI QIDQ4287485
Publication date: 13 June 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke semanticsGalois connectionsresiduationequational definabilitydistributive lattice with additional finitary operationsdistributoidgaggleJónsson-Tarski representation theorem
Modal logic (including the logic of norms) (03B45) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items
Current trends in substructural logics, IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Canonical extensions and Kripke-Galois semantics for non-distributive logics, Syntactic Completeness of Proper Display Calculi, Changing a Semantics: Opportunism or Courage?, Neighbourhood semantics for quantified relevant logics, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, On the universality of atomic and molecular logics via protologics, Autonomous posets and quantales, Multimodal linguistic inference, Symmetric generalized Galois logics, Constructive agents, Disentangling structural connectives or life without display property, Two traditions in abstract valuational model theory, Duality for normal lattice expansions and sorted residuated frames with relations, Proper semantics for substructural logics, from a stalker theoretic point of view, Neighbourhood semantics for modal relevant logics, Birkhoff's and Mal'cev's theorems for implicational tonoid logics, COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS, Kapsner complementation: an algebraic take on Kapsner strong logics, On the ternary relation and conditionality, The nature of the extended analog computer, Modes of adjointness, 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”, Basic quasi-Boolean expansions of relevance logics, Unnamed Item, A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism, Galois Connections in Categorial Type Logic, Algorithmic correspondence and canonicity for non-distributive logics, Distributed Relation Logic, On Displaying Negative Modalities, Valuations: bi, tri, and tetra, Computational complexity for bounded distributive lattices with negation, Behavioral algebraization of logics, Unnamed Item, Categories: How I Learned to Stop Worrying and Love Two Sorts, Algebraic Valuations as Behavioral Logical Matrices, Optionality, scope, and licensing: An application of partially ordered categories, Implicational tonoid logics: algebraic and relational semantics, Implicational partial Galois logics: relational semantics, Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras, Interpretations of Weak Positive Modal Logics, St. Alasdair on Lattices Everywhere, Relational semantics for Kleene logic and action logic
