Journal of Philosophical Logic 39 (1) (2010)
|Abstract||The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of the systems considered are semantically incomplete, including all those that are sub-logics of the quantified version of Anderson and Belnap’s system E of entailment, extended by the mingle axiom and the Ackermann constant t . The incompleteness proof involves an algebraic semantics based on atomless complete Boolean algebras.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Ewa Orlowska (1992). Relational Proof System for Relevant Logics. Journal of Symbolic Logic 57 (4):1425-1440.
Gemma Robles & José M. Méndez (2011). A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism. Logic Journal of the IGPL 19 (1):18-32.
Philip Kremer (1989). Relevant Predication: Grammatical Characterisations. Journal of Philosophical Logic 18 (4):349 - 382.
Edwin D. Mares & Robert Goldblatt (2006). An Alternative Semantics for Quantified Relevant Logic. Journal of Symbolic Logic 71 (1):163 - 187.
Ross T. Brady (1989). A Content Semantics for Quantified Relevant Logics. II. Studia Logica 48 (2):243 - 257.
Gemma Robles & José M. Méndez (2010). A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism. Journal of Philosophical Logic 39 (2).
Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.
Robert Goldblatt (2011). Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Cambridge University Press.
Ross T. Brady (1988). A Content Semantics for Quantified Relevant Logics. I. Studia Logica 47 (2):111 - 127.
Added to index2009-08-08
Total downloads12 ( #93,337 of 549,065 )
Recent downloads (6 months)2 ( #37,252 of 549,065 )
How can I increase my downloads?