Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p

DOI10.2307/2275341zbMath0786.03016OpenAlexW2074092244MaRDI QIDQ5287696

Philip Kremer

Publication date: 17 August 1993

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

Full work available at URL: https://doi.org/10.2307/2275341

zbMATH Keywords

semilattice semanticspropositional quantifierprimary interpretation

Mathematics Subject Classification ID

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

Related Items

Completeness of a first-order temporal logic with time-gaps ⋮ An admissible semantics for propositionally quantified relevant logics ⋮ On Sahlqvist formulas in relevant logic ⋮ Uniform interpolation and propositional quantifiers in modal logics ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ On the logic of belief and propositional quantification ⋮ Pitts' quantifiers are not topological quantification ⋮ Expressivity of second order propositional modal logic ⋮ Propositional quantification in bimodal S5 ⋮ Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The semantics of entailment. II
• The semantics of entailment. III
• A completeness theorem in modal logic
• On Entailment
• Recursively enumerable sets of positive integers and their decision problems
• Creative sets