Truth-maker semantics for some substructural logics

DOI10.1007/978-3-031-29415-0_11MaRDI QIDQ6911822zbMATH OpenFDO

Authors Ondrej Majer, Vít Punčochář, Igor Sedlár

Publication date 24 October 2025

Full work available at URL https://doi.org/10.1007/978-3-031-29415-0_11

zbMATH Keywords

exact truthmaker semanticsKit FineLambek calculussubstructural logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A Note on Negation in Categorial Grammar
• A semantic hierarchy for intuitionistic logic
• Algebras of information states
• An axiomatic version of positive semilattice relevance logic
• An exact truthmaker semantics for permission and obligation
• Categorial grammars with negative information
• Completeness of weak implication
• Der Aussagenkalkül und die Topologie
• scientific article; zbMATH DE number 3122423 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 7084929 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Multimodal linguistic inference
• Semantics for relevant logics
• The Mathematics of Sentence Structure
• Truth-maker semantics for intuitionistic logic
• Truthmaker semantics for relevant logic

Cited in

(2)

• Implying and containing in truthmaker semantics
• The mereological basis of truthmaker semantics

This page was built for publication: Truth-maker semantics for some substructural logics

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