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 |