Simplified semantics for relevant logics (and some of their rivals)
From MaRDI portal
Publication:689076
DOI10.1007/BF01349561zbMATH Open0782.03009OpenAlexW2162300758MaRDI QIDQ689076FDOQ689076
Publication date: 16 February 1994
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01349561
Cites Work
Cited In (22)
- Relational proof system for relevant logics
- Displaying and deciding substructural logics. I: Logics with contraposition
- Simplified semantics for basic relevant logics
- Simplified Axiom Schemes for Implication and Iterated Implication
- Neighbourhood semantics for modal relevant logics
- Two Negations Are More than One
- Reflections on Orlov
- Varieties of Relevant S5
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- The relevant fragment of first order logic
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
- On permutation in simplified semantics
- Gentzenizations of relevant logics with distribution
- Deep fried logic
- Notes on stratified semantics
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R
- An incompleteness theorem for modal relevant logics
- Four-valued semantics for relevant logics (and some of their rivals)
- Title not available (Why is that?)
- Free of Detachment: Logic, Rationality, and Gluts
- Neighborhoods for entailment
- What is a relevant connective?
This page was built for publication: Simplified semantics for relevant logics (and some of their rivals)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689076)
