INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY

DOI10.1017/S1755020317000132zbMath1421.03010arXiv1809.08153OpenAlexW2739894774MaRDI QIDQ4600823

Guillermo Badia

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

zbMATH Keywords

interpolationrelevant logicinfinitary logicRoutley-Meyer semantics

Mathematics Subject Classification ID

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

This page was built for publication: INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY