An admissible semantics for propositionally quantified relevant logics (Q848213): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / reviewed by
 
Property / reviewed by: Martin W. Bunder / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Martin W. Bunder / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10992-009-9109-7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2043795280 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4297115 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relational semantics for Kleene logic and action logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On modal logic with propositional quantifiers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness in the theory of types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> / rank
 
Normal rank
Property / cites work
 
Property / cites work: An alternative semantics for quantified relevant logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4077983 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4077984 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3701398 / rank
 
Normal rank

Latest revision as of 12:57, 2 July 2024

scientific article
Language Label Description Also known as
English
An admissible semantics for propositionally quantified relevant logics
scientific article

    Statements

    An admissible semantics for propositionally quantified relevant logics (English)
    0 references
    0 references
    2 March 2010
    0 references
    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.
    0 references
    0 references
    propositional quantifiers
    0 references
    relevant logic
    0 references
    admissible proposition
    0 references
    propositional function
    0 references
    incompleteness
    0 references
    atomless Boolean algebra
    0 references
    0 references