No non-trivial quasivariety of BCK-algebras has decidable first order theory

Studia Logica 46 (4):343 - 345 (1987)
  Copy   BIBTEX

Abstract

Using the semantic embedding technique the theorem announced by the title is proved.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370645

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On a property of BCK-identities.Misao Nagayama - 1994 - Studia Logica 53 (2):227 - 234.
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
On categorical equivalences of commutative bck-algebras.Dvurecenskij Anatolij - 2000 - Studia Logica 64 (1).
The non-definability notion and first order logic.Michal Krynicki - 1988 - Studia Logica 47 (4):429 - 437.
Komori Identities In Algebraic Logic.Willem Blok & Silvia La Falce - 2000 - Reports on Mathematical Logic:79-106.
The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
Quasivarieties for bci-logic.Jacek K. Kabzinski - 1983 - Bulletin of the Section of Logic 12 (3):130-132.
Connections between BCK-algebras and difference posetse.Anatolij Dvurečenskij & Hee Sik Kim - 1998 - Studia Logica 60 (3):421-439.

Analytics

Added to PP
2009-01-28

Downloads
31 (#502,760)

6 months
2 (#1,445,852)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references