Journal of Symbolic Logic 70 (4):1341 - 1358 (2005)

We construct the finitely generated free algebras and determine the free spectra of varieties of linear equivalential algebras and linear equivalential algebras of finite height corresponding. respectively, to the equivalential fragments of intermediate Gödel-Dummett logic and intermediate finite-valued logics of Gödel. Thus we compute the number of purely equivalential propositional formulas in these logics in n variables for an arbitrary n ∈ N
Keywords Gödel-Dummett logic   intuitionistic equivalence   free algebras   free spectra   equivalential algebras
Categories (categorize this paper)
DOI 10.2178/jsl/1129642128
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: 63,133
Through your library

References found in this work BETA

Über Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
Fregean Logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Sur les Algèbres de Hilbert.Antonio Diego, Jean Porte & Luisa Iturrioz - 1970 - Journal of Symbolic Logic 35 (1):139-139.

View all 12 references / Add more references

Citations of this work BETA

Free Equivalential Algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.

Add more citations

Similar books and articles


Added to PP index

Total views
21 ( #513,597 of 2,448,218 )

Recent downloads (6 months)
1 ( #451,050 of 2,448,218 )

How can I increase my downloads?


My notes