COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

DOI10.1017/S1755020322000272MaRDI QIDQ6188338zbMATH OpenOpenAlexFDO

Authors Greg Restall, Shawn Standefer

Publication date 11 January 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

frame semanticsrelevant logicssubstructural logicsternary 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)

Recommendations

• scientific article; zbMATH DE number 6302899
• scientific article; zbMATH DE number 935035
• Operational semantics for positive R
• scientific article; zbMATH DE number 1543335
• Combinatory logic and the semantics of substructural logics

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A consecutive calculus for positive relevant implication with necessity
• A propositional logic with explicit fixed points
• Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
• Algebraic methods in philosophical logic
• An incompleteness theorem for modal relevant logics
• An introduction to non-classical logic. From if to is
• Basic conditional logic
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Classical relevant logics. II
• Combinatory logic. Pure, applied and typed
• Completeness via metacompleteness
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 1406808 (Why is no real title available?)
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Logical pluralism
• Models for the Lambek calculus
• Numbers as moments of multisets: a new-old formulation of arithmetic
• On permutation in simplified semantics
• On the `transitivity' of consequence relations
• On the ternary relation and conditionality
• Operational semantics for positive R
• Real reduced models for relevant logics without WI
• Richard Routley, "Semantic Analysis of Entailment and Relevant Implication: I"
• Semantics for relevant logics
• Simplified semantics for basic relevant logics
• Simplified semantics for relevant logics (and some of their rivals)
• Subintuitionistic logics
• Supervenience, dependence, disjunction
• The connectives
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The Mathematics of Sentence Structure
• The semantics of entailment. II
• The semantics of entailment. III
• Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics

Cited in

(3)

• A characteristic frame for positive intuitionistic and relevance logic
• Tarskian Classical Relevant Logic
• Multiset-multiset frames

This page was built for publication: COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

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