On permutation in simplified semantics

DOI10.1007/S10992-009-9104-ZzbMATH Open1194.03021OpenAlexW2014646251MaRDI QIDQ1025580FDOQ1025580

Authors: Greg Restall, Tony Roy 

Publication date: 19 June 2009

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-009-9104-z

Recommendations

• Simplified semantics for relevant logics (and some of their rivals)
• scientific article; zbMATH DE number 4061202
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• Real reduced models for relevant logics without WI
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism

zbMATH Keywords

completenessrelevant logicinclusionframe semantics

Mathematics Subject Classification ID

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

Cites Work

• An introduction to non-classical logic
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• Simplified semantics for relevant logics (and some of their rivals)

Cited In (8)

• Neighbourhood semantics for modal relevant logics
• Varieties of Relevant S5
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Deep fried logic
• Notes on stratified semantics
• An incompleteness theorem for modal relevant logics
• ON A HIERARCHY OF PERMUTATION LANGUAGES
• What is a relevant connective?

This page was built for publication: On permutation in simplified semantics

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