Proper semantics for substructural logics, from a stalker theoretic point of view

DOI10.1007/S11225-008-9106-9zbMath1140.03308OpenAlexW2156780202MaRDI QIDQ2426733

Kentaro Sato

Publication date: 23 April 2008

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9106-9

zbMATH Keywords

siteprimenessmeaning of connectivesdeductive filtergeneral semantics of substructural logicsmeta deduction relationresiduated structuresstalkerStone's sheaf representation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

The proof by cases property and its variants in structural consequence relations ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A game semantics for linear logic
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Duality for algebras of relevant logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Kripke models for linear logic
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Quantales and (noncommutative) linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Games and full completeness for multiplicative linear logic

This page was built for publication: Proper semantics for substructural logics, from a stalker theoretic point of view