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

zbMATH Keywords

substructural logicsLambek calculusKit Fineexact truthmaker semantics

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)

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)