COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

DOI10.1017/s1755020322000272OpenAlexW4285088085MaRDI QIDQ6188338

Shawn Standefer, Greg Restall

Publication date: 11 January 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020322000272

zbMATH Keywords

substructural logicsrelevant logicsframe semanticsternary relational frames

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• On the ternary relation and conditionality
• Numbers as moments of multisets: a new-old formulation of arithmetic
• Simplified semantics for relevant logics (and some of their rivals)
• On permutation in simplified semantics
• Operational semantics for positive R
• A consecutive calculus for positive relevant implication with necessity
• A propositional logic with explicit fixed points
• Simplified semantics for basic relevant logics
• Real reduced models for relevant logics without WI
• Classical relevant logics. II
• The semantics of entailment. II
• The semantics of entailment. III
• Basic conditional logic
• Subintuitionistic logics
• Models for the Lambek calculus
• An incompleteness theorem for modal relevant logics
• Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
• Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics
• Richard Routley, "Semantic Analysis of Entailment and Relevant Implication: I"
• The Mathematics of Sentence Structure
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Logical Pluralism
• On the ‘transitivity’ of consequence relations
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Supervenience, Dependence, Disjunction
• Semantics for relevant logics
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators