INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
From MaRDI portal
Publication:4600823
DOI10.1017/S1755020317000132zbMath1421.03010arXiv1809.08153OpenAlexW2739894774MaRDI QIDQ4600823
Publication date: 17 January 2018
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1809.08153
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bi-simulating in bi-intuitionistic logic
- \(\mathbf R\) and relevance principle revisited
- Notes on the model theory of DeMorgan logics
- A generalization of the Routley-Meyer semantic framework
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- Semantics for quantified relevance logic
- The semantics of entailment. II
- The semantics of entailment. III
- Large infinitary languages. Model theory
- Modality, bisimulation and interpolation in infinitary logic
- Logic of transition systems
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Hanf numbers for fragments of L\(_{\infty \omega}\)
- THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC
- Axioms for abstract model theory
- Interpolation, preservation, and pebble games
- Simulating without Negation
- Assertion, Denial and Non-classical Theories
- An alternative semantics for quantified relevant logic
