Complexity Reference: compref638 (BibTex)

Authors: Ulrich,D

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 |


Bruce Edmonds, Centre for Policy Modelling, Manchester Metropolitan University