Studia Logica 40 (4):315 - 353 (1981)

Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important F i from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we show that equational completeness is equivalent to the Stone-property and that each 2-element algebra generates a minimal quasivariety. The results of Sec. 4 will be applied in Sec. 5 to maximality questions and to a matrix free characterization of 2-valued consequences in the lattice of structural consequences in any language. Sec. 6 takes a look at related axiomatization. problems for finite algebras and matrices. We study the notion of a propositional consequence with equality and, among other things, present explicit axiomatizations of 2-valued consequences with equality.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00401653
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,968
Through your library

References found in this work BETA

Fragments of the Propositional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.

View all 9 references / Add more references

Citations of this work BETA

Sentence Connectives in Formal Logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
Singulary Extensional Connectives: A Closer Look. [REVIEW]I. L. Humberstone - 1997 - Journal of Philosophical Logic 26 (3):341-356.

View all 17 citations / Add more citations

Similar books and articles


Added to PP index

Total views
33 ( #320,486 of 2,433,402 )

Recent downloads (6 months)
1 ( #468,801 of 2,433,402 )

How can I increase my downloads?


My notes