Intensional models for first degree formulas

DOI10.2307/2271239MaRDI QIDQ5552158zbMATH OpenOpenAlexFDO

Authors 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

Cites work

• A Decision Procedure For the System E_Ī of Entailment with Negation
• EQ and the First Order Functional Calculus
• First degree entailments
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)

Cited in

(20)

• Sentential constants in R and \(R^{\neg}\)
• Classical relevant logics. I
• Classical relevant logics. II
• Cut-elimination theorem for relevant logics
• Alternative semantics for quantified first degree relevant logic
• The existence of matrices strongly adequate for E, R and their fragments
• On a new idiom in the study of entailment
• 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, three, four, infinity: the path to the four-valued logic and beyond
• Tarskian Classical Relevant Logic
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• The implicational fragment of R-mingle
• Semantics for relevant logics
• Implying and containing in truthmaker semantics
• A relevant logic of questions

This page was built for publication: Intensional models for first degree formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5552158)