Intensional models for first degree formulas

DOI10.2307/2271239zbMath0166.00401OpenAlexW2048346936MaRDI QIDQ5552158

Nuel D. jun. Belnap

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271239

zbMATH Keywords

algebraic logic, model theory

Related Items

A relevant logic of questions ⋮ Sentential constants in R and \(R^{\neg}\) ⋮ The implicational fragment of $R$-mingle ⋮ Semantics for relevant logics ⋮ On a new idiom in the study of entailment ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ Classical relevant logics. I ⋮ Classical relevant logics. II ⋮ Cut-elimination theorem for relevant logics ⋮ Alternative semantics for quantified first degree relevant logic ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ The existence of matrices strongly adequate for E, R and their fragments ⋮ Homomorphisms of intensionally complemented distributive lattices ⋮ E-theories ⋮ Propositional quantifiers ⋮ On interpretation and separation theorems for the logical systems E and R ⋮ A semantical analysis of implicational system I and of the first degree of entailment ⋮ Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E ⋮ Tarskian Classical Relevant Logic

Cites Work

• Unnamed Item
• First degree entailments
• EQ and the First Order Functional Calculus
• A Decision Procedure For the System E_Ī of Entailment with Negation