A semantical analysis of implicational system I and of the first degree of entailment

DOI10.1007/BF01419432zbMath0255.02017MaRDI QIDQ2558212

Richard Routley

Publication date: 1972

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/162243

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

Related Items

Richard (Routley) Sylvan: Writings on Logic and Metaphysics, A natural deduction system for first degree entailment, Paradox, truth and logic. I. Paradox and truth, Classical relevant logics. II, A Kripke-style semantics for R-mingle using a binary accessibility relation, Alternative semantics for quantified first degree relevant logic, Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems, A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics, Partial equilibrium logic, Logical pluralism and semantic information, Possible worlds semantics and fiction

Cites Work

• Homomorphisms of intensionally complemented distributive lattices
• E, R AND γ
• The Semantics of First Degree Entailment
• Intensional models for first degree formulas
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• On the semantic non-completeness of certain Lewis calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item