The shortest possible length of the longest implicational axiom (Q1914373): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114018496 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebras and their subalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the number of variables in the axioms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on truth-tables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5737076 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A five-valued model of the E-p-q-theses / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:29, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The shortest possible length of the longest implicational axiom |
scientific article |
Statements
The shortest possible length of the longest implicational axiom (English)
0 references
6 January 1997
0 references
This interesting paper shows that every complete set of axioms of classical implicational logic (IF) must have at least one axiom of length 11 (in Polish notation). The matrix methods employed by the author also allow a simple proof of the Wajsberg/Diamond-McKinsley Theorem that every complete set of axioms must include at least one containing occurrences of 3 or more distinct propositional variables. Both results are ``best possible'' and also apply to all commonly used subsystems of IF.
0 references
shortest axioms
0 references
classical implicational logic
0 references
matrix methods
0 references
Wajsberg/Diamond-McKinsley theorem
0 references