Semantics for quantified relevance logic
From MaRDI portal
The author established earlier incompleteness of the large family of quantified relevance logics including RQ. The universal quantifier was interpreted there as a conjunction over all individuals of the world considered. In the paper under review \(\forall xA(x)\) in the world h is interpreted as A(i) for a new world obtained by adding a new individual i to h. The definition of semantics contains more than 30 clauses. Completeness is proved by means of a canonical model.
Recommendations
- An alternative semantics for quantified relevant logic
- An admissible semantics for propositionally quantified relevant logics
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- Semantical analysis of superrelevant predicate logics with quantification
Cited in
(34)- A content semantics for quantified relevant logics. I
- Semantics for relevance logic with identity
- The semantics of \(R4\)
- Relevant identity
- Rules in relevant logic. I: Semantic classification
- Identity in Mares-Goldblatt models for quantified relevant logic
- Neighbourhood semantics for quantified relevant logics
- What is a relevant connective?
- Notes on stratified semantics
- scientific article; zbMATH DE number 994051 (Why is no real title available?)
- From iff to is: some new thoughts on identity in relevant logics
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
- MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
- Some Model‐Theoretic Results for the Relevant Logic with Quantification
- scientific article; zbMATH DE number 4055572 (Why is no real title available?)
- Classically complete modal relevant logics
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Algebraic Kripke-style semantics for relevance logics
- Distribution in the logic of meaning containment and in quantum mechanics
- R-Mingle is Nice, and so is Arnon Avron
- A Note on the Relevance of Semilattice Relevance 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
- Varieties of Relevant S5
- One variable relevant logics are S5Ish
- Fine's semantics for relevance logic and its relevance
- -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
- Semantics for second-order relevant logics
- Introduction: directions and new directions
- Polyadic De Morgan monoids: functional representation and MG structures
- General information in relevant logic
- An admissible semantics for propositionally quantified relevant logics
This page was built for publication: Semantics for quantified relevance logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103606)
