Author:
Anderson A. R.,Belnap N. D.
Publisher
Springer Science and Business Media LLC
Reference13 articles.
1. Anderson, Alan Ross: Completeness theorems for the systemsE of entailment andEQ of entailment with quantification. Technical Report No. 6, Office of Naval Research, Group Psychology Branch, Contract SAR/Nonr-609 (16), New Haven. Also in the Z. mathem. Logik u. Grundlagen Mathematik6, 201–216 (1959).
2. ——, andNuel D. Belnap jr.: A simple proof of Gödel's completeness theorem [abstract]. J. symbolic Logic24, 320 (1960a).
3. —— —— Tautological entailments. Philosophical studies,13, 9–24 (1962).
4. —— —— A simple treatment of truth functions. J. symbolic Logic,24, 301–302 (1959).
5. — — The pure calculus of entailment. J. symbolic Logic, forthcoming (1960b).
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Paraconsistent inference relations induced from inconsistency measures;International Journal of Approximate Reasoning;2023-01
2. Conjunctive and Disjunctive Parts;Outstanding Contributions to Logic;2023
3. Paraconsistency, Evidence, and Abduction;Handbook of Abductive Cognition;2023
4. Truthmaker Accounts of Propositions;The Routledge Handbook of Propositions;2022-09-13
5. Neutral Free Logic: Motivation, Proof Theory and Models;Journal of Philosophical Logic;2022-08-24