An admissible semantics for propositionally quantified relevant logics

DOI10.1007/s10992-009-9109-7zbMath1191.03015OpenAlexW2043795280MaRDI QIDQ848213

N. E. Zubov

Publication date: 2 March 2010

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

Full work available at URL: https://doi.org/10.1007/s10992-009-9109-7

zbMATH Keywords

relevant logicpropositional quantifiersincompletenessatomless Boolean algebraadmissible propositionpropositional function

Mathematics Subject Classification ID

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

Related Items (4)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ Neighbourhood semantics for quantified relevant logics ⋮ What is a relevant connective? ⋮ Identity in Mares-Goldblatt models for quantified relevant logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational semantics for Kleene logic and action logic
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• An alternative semantics for quantified relevant logic
• On modal logic with propositional quantifiers
• Completeness in the theory of types

This page was built for publication: An admissible semantics for propositionally quantified relevant logics