An admissible semantics for propositionally quantified relevant logics
Anderson and Belnap extended the relevant logics E and R by allowing quantification over propositional variables. The present paper provides a sound and complete relational semantics for axiomatizations of these systems (due to Meyer) and to many other relevant logics with quantification over propositional variables. This semantics has a restriction on which sets of worlds are admissible as propositions and an interpretation that makes \(\forall p A\) true when there is some true admissible proposition that entails all \(p\)-instantiations of \(A\). Without the admissibility qualification, the authors show that many of the systems considered are semantically incomplete. The incompleteness result involves an algebraic semantics based on atomless complete Boolean algebras.
- An alternative semantics for quantified relevant logic
- Semantics for quantified relevance logic
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- Some Model‐Theoretic Results for the Relevant Logic with Quantification
- An alternative semantics for quantified relevant logic
- Completeness in the theory of types
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3496099 (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?)
- On modal logic with propositional quantifiers
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- Relational semantics for Kleene logic and action logic
- Semantics for quantified relevance logic
- Semantical analysis of superrelevant predicate logics with quantification
- A content semantics for quantified relevant logics. I
- Identity in Mares-Goldblatt models for quantified relevant logic
- Neighbourhood semantics for quantified relevant logics
- What is a relevant connective?
- Some Model‐Theoretic Results for the Relevant Logic with Quantification
- Defining relevant implication in a propositionally quantified S4
- Ultraproducts of admissible models for quantified modal logic
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- An alternative semantics for quantified relevant logic
- QUANTIFIED MODAL RELEVANT LOGICS
- Propositional quantifiers
This page was built for publication: An admissible semantics for propositionally quantified relevant logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q848213)
