Implying and containing in truthmaker semantics

DOI10.1007/978-3-031-69940-5_9MaRDI QIDQ6943388zbMATH OpenFDO

Authors Vít Punčochář, Thomas Macaulay Ferguson

Publication date 13 August 2025

Full work available at URL https://doi.org/10.1007/978-3-031-69940-5_9

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• A Powerdomain Construction
• A relevant logic of questions
• Angellic content
• Constructible falsity
• scientific article; zbMATH DE number 4200171 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• Inquisitive Logic
• Inquisitive semantics
• Intensional models for first degree formulas
• Logics of nonsense and Parry systems
• Operational semantics for positive R
• Power domains
• Power structures
• POWER STRUCTURES AND LOGIC
• Semantics for relevant logics
• The laws of thought and the laws of truth as two sides of one coin
• Truth-maker semantics for intuitionistic logic
• Truth-maker semantics for some substructural logics
• Truthmaker semantics for relevant logic

This page was built for publication: Implying and containing in truthmaker semantics

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