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

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

Related Items (15)

A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ On a new idiom in the study of entailment ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Partial equilibrium logic ⋮ Logical pluralism and semantic information ⋮ A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability ⋮ A natural deduction system for first degree entailment ⋮ Classical relevant logics. II ⋮ A Kripke-style semantics for R-mingle using a binary accessibility relation ⋮ Possible worlds semantics and fiction ⋮ Alternative semantics for quantified first degree relevant logic ⋮ Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems ⋮ Richard (Routley) Sylvan: Writings on Logic and Metaphysics ⋮ Semantic penumbra: concept similarity in logic ⋮ Paradox, truth and logic. I. Paradox and truth

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

This page was built for publication: A semantical analysis of implicational system I and of the first degree of entailment