INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY

DOI10.1017/S1755020317000132MaRDI QIDQ4600823zbMATH OpenOpenAlexFDO

Authors 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

infinitary logicinterpolationrelevant 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)

Abstract: Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic $L_{inftyomega}$ holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property.

Recommendations

• scientific article; zbMATH DE number 444448
• The syntax and semantics of infinitary languages
• scientific article; zbMATH DE number 3263255
• A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
• Logic semantics with the potential infinite
• Infinite truth-functional logic
• Languages of profinite words and the limitedness problem
• Infinitary propositional normal modal logic
• Meaningless sets in infinitary combinatory logic
• Paraconsistency and the need for infinite semantics

Cites work

• R and relevance principle revisited
• 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
• An alternative semantics for quantified relevant logic
• Assertion, Denial and Non-classical Theories
• Axioms for abstract model theory
• Bi-simulating in bi-intuitionistic logic
• Hanf numbers for fragments of L\(_{\infty \omega}\)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3663082 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• Interpolation, preservation, and pebble games
• Large infinitary languages. Model theory
• Logic of transition systems
• Modal logic
• Modality, bisimulation and interpolation in infinitary logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Notes on the model theory of DeMorgan logics
• Semantics for quantified relevance logic
• Simulating without Negation
• The relevant fragment of first order logic
• The semantics of entailment. II
• The semantics of entailment. III

Cited in

(2)

• The relevant fragment of first order logic
• A Lindström-style theorem for finitary propositional weak entailment languages with absurdity

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

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