Intuitionism, Entailment, Negation
References (21)
Begrüundung einer strengen Implikation
The Journal of Symbolic Logic
(1956)Some Open Problems Concerning the System E of Entailment
Acta Philosophica Fennica
(1963)- Anderson, A. R., 1971, An Intensional Interpretation of Truth Values, to...
- et al.
Modalities in Ackermann's ‘Rigorous Implication1
The Journal of Symbolic Logic
(1959) - et al.
A Simple Treatment of Truth Functions
The Journal of Symbolic Logic
(1959) - et al.
Enthymemes
The Journal of Philosophy Journal of Symbolic Logic
(1961) - et al.
The Pure Calculus of Entailment
The Journal of Symbolic Logic
(1962) Intensional Models for First Degree Formulas
The Journal of Symbolic Logic
(1967)- Church, A., 1951, The Weak Theory of Implication, Kontrolliertes Denken...
- Curry, H. B., 1963, Foundations of Mathematical Logic...
There are more references available in the full text version of this article.
Cited by (29)
Varieties of De Morgan monoids: Minimality and irreducible algebras
2019, Journal of Pure and Applied AlgebraA category equivalence for odd Sugihara monoids and its applications
2012, Journal of Pure and Applied AlgebraRelevance Logics
2007, Philosophy of LogicRelevant and substructural logics
2006, Handbook of the History of LogicRelevance Logics
2006, Philosophy of LogicMaking Truth Safe for Intuitionists
2019, Trends in Logic
Copyright © 1973 North-Holland Publishing Company. Published by Elsevier B.V. All rights reserved.