Studia Logica 64 (3):345-353 (2000)
| Authors |
|
| Abstract |
We present a finitary regularly algebraizable logic not finitely equivalential, for every similarity type. We associate to each of these logics a class of algebras with an equivalence relation, with the property that in this class, the identity is atomatically definable but not finitely atomatically definable.
|
| Keywords | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
| Categories | (categorize this paper) |
| Reprint years | 2004 |
| ISBN(s) | |
| DOI | 10.1023/A:1005237627378 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific Publishers.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
View all 8 references / Add more references
Citations of this work BETA
Categorical Abstract Algebraic Logic: The Diagram and the Reduction Operator Lemmas.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (2):147-161.
Similar books and articles
Step by Step – Building Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Weakly Associative Relation Algebras with Polyadic Composition Operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Analytics
Added to PP index
2009-01-28
Total views
39 ( #257,601 of 2,401,777 )
Recent downloads (6 months)
2 ( #361,744 of 2,401,777 )
2009-01-28
Total views
39 ( #257,601 of 2,401,777 )
Recent downloads (6 months)
2 ( #361,744 of 2,401,777 )
How can I increase my downloads?
Downloads
