Year: 1996
Title: The Shortest Possible Length of the Longest Implicational Axiom
Journal: Journal of Philosophical Logic, 25, 101-108
Comments: Uses a matrix to gain results on necessary length of implicaitonal axioms.
Keywords: LOGIC, MATRIX, LENGTH,
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |