Relational semantics for Kleene logic and action logic

DOI10.1305/ndjfl/1134397663zbMath1099.03014OpenAlexW2026564669MaRDI QIDQ817963

J. Michael Dunn, Katalin Bimbó

Publication date: 23 March 2006

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1134397663

zbMATH Keywords

Kripke semanticsfinite model theoryKleene algebrasaction logicgeneralized Galois logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Model theory of finite structures (03C13) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

An admissible semantics for propositionally quantified relevant logics, RELEVANCE LOGICS AND RELATION ALGEBRAS, 2006–07 Winter Meeting of the Association for Symbolic Logic, 2007-2008 Winter Meeting of the Association for Symbolic Logic, Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras, Interpretations of Weak Positive Modal Logics

Cites Work

• A topological representation theory for lattices
• Stone duality for lattices
• A completeness theorem for Kleene algebras and the algebra of regular events
• Four-valued logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Semantics for dual and symmetric combinatory calculi
• Semantics for structurally free logics LC+
• Kripke models for linear logic
• Combinators and structurally free logic
• Two extensions of the structurally free logic LC
• Representations of Lattices by Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item