A semantical analysis of implicational system I and of the first degree of entailment
From MaRDI portal
Publication:2558212
DOI10.1007/BF01419432zbMath0255.02017MaRDI QIDQ2558212
Publication date: 1972
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/162243
Related Items
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