Graduate studies at Western
Studia Logica 40 (4):315 - 353 (1981)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
W. Rautenberg (1991). Axiomatizing Logics Closely Related to Varieties. Studia Logica 50 (3-4):607 - 622.
Janusz Czelakowski (1980). Reduced Products of Logical Matrices. Studia Logica 39 (1):19 - 43.
A. Avron (2009). Multi-Valued Semantics: Why and How. Studia Logica 92 (2):163 - 182.
Alexej P. Pynko (2000). Subprevarieties Versus Extensions. Application to the Logic of Paradox. Journal of Symbolic Logic 65 (2):756-766.
Brunetto Piochi (1983). Logical Matrices and Non-Structural Consequence Operators. Studia Logica 42 (1):33 - 42.
R. A. Lewin, I. F. Mikenberg & M. G. Schwarze (2000). Algebras and Matrices for Annotated Logics. Studia Logica 65 (1):137-153.
Wolfgang Rautenberg (1993). On Reduced Matrices. Studia Logica 52 (1):63 - 72.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Katarzyna Pałasińska (1994). Three-Element Nonfinitely Axiomatizable Matrices. Studia Logica 53 (3):361 - 372.
Added to index2009-01-28
Total downloads9 ( #122,521 of 739,393 )
Recent downloads (6 months)2 ( #37,287 of 739,393 )
How can I increase my downloads?