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

DOI10.1007/S11225-008-9106-9MaRDI QIDQ2426733zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1406811
• Substructural logics: a primer
• scientific article; zbMATH DE number 1907195
• Substructural Logics in Natural Deduction
• scientific article; zbMATH DE number 1870417
• Substructural logic and partial correctness
• Structural Completeness in Substructural Logics
• scientific article; zbMATH DE number 1975400
• An extension of the stable semantics via Lukasiewicz logic
• Combinatory logic and the semantics of substructural logics

Cites work

• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A game semantics for linear logic
• Algebraic Analysis of Many Valued Logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Duality for algebras of relevant logics
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Games and full completeness for multiplicative linear logic
• Kripke models for linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Quantales and (noncommutative) linear logic

Cited in

(5)

• The proof by cases property and its variants in structural consequence relations
• A Henkin-style proof of completeness for first-order algebraizable logics
• The categorical imperative: category theory as a foundation for deontic logic
• Inter-model connectives and substructural logics
• Relational Methods in Computer Science

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2426733)