Complexity Reference: compref280 (BibTex)

Authors: Robinson,TT

Year: 1968

Title: Independance of Two Nice Sets of Axioms for the Propositional Calculus

Journal: Journal for Symbolic Logic, 33, 265-270

Comments: Proves the independance of two sets of axioms for mainline logics. A good example of a simple Logic?

Keywords: AXIOMS, LOGIC,

| Top | Authors | Journals | Years | Keywords | Search | New | Comments |

Bruce Edmonds, Centre for Policy Modelling, Manchester Metropolitan University