Intensional models for first degree formulas
From MaRDI portal
Publication:5552158
DOI10.2307/2271239zbMath0166.00401MaRDI QIDQ5552158
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
Related Items
The implicational fragment of $R$-mingle, Semantics for relevant logics, 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, 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
Cites Work