Implication in Equational Logicby H. G. Forder; J. A. Kalman
- 期刊名称The Journal of Symbolic Logic
- 作者Review by: Ralph Seifert, Jr.
- 卷第36卷
- 期第1期
- 印刷ISSN0022-4812
- 文件大小214.62KB
- 发表时间1971-03
- DOI10.2307/2271555
A Remark on Post Normal Systemsby Ann YasuharaReview by: M. D. Gladstone · The Journal of Symbolic Logic · 1968
Monogenic Post Normal Systems of Arbitrary Degreeby Philip K. HooperReview by: M. D. Gladstone · The Journal of Symbolic Logic · 1969
The Independence of Axioms in the Propositional Calculusby G. E. HughesReview by: M. D. Gladstone · The Journal of Symbolic Logic · 1971
A Detailed Argument for the Post-Linial Theoremsby Mary Katherine YntemaReview by: M. D. Gladstone · The Journal of Symbolic Logic · 1966
An Unsolvable Problem Concerning Implicational Calculi.by Bishwambhar Pahi; Ralph C. ApplebeeReview by: M. D. Gladstone · The Journal of Symbolic Logic · 1972
Axioms for the Implicational Calculus with One Variableby Henry W. Johnstone,; Robert PriceReview by: M. D. Gladstone · The Journal of Symbolic Logic · 1970
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957