On definability of the equality in classes of algebras with an equivalence relation

Pilar Dellunde I Clavé

On definability of the equality in classes of algebras with an equivalence relation

Pilar Dellunde I Clavé

Department of Philosophy

Research output: Contribution to journal › Article › Research › peer-review

4 Citations (Scopus)

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 atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.

Original language	English
Pages (from-to)	345-353
Journal	Studia Logica
Volume	64
Issue number	3
Publication status	Published - 1 Dec 2000

Keywords

Algebraic logic
Equivalential logics
Model theory

Cite this

@article{ecec5785ed2f40448df581d882e1dc4e,

title = "On definability of the equality in classes of algebras with an equivalence relation",

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 atomically definable but not finitely atomically definable. {\textcopyright} 2000 Kluwer Academic Publishers.",

keywords = "Algebraic logic, Equivalential logics, Model theory",

author = "{Dellunde I Clav{\'e}}, Pilar",

year = "2000",

month = dec,

day = "1",

language = "English",

volume = "64",

pages = "345--353",

journal = "Studia Logica",

issn = "0039-3215",

number = "3",

}

TY - JOUR

T1 - On definability of the equality in classes of algebras with an equivalence relation

AU - Dellunde I Clavé, Pilar

PY - 2000/12/1

Y1 - 2000/12/1

N2 - 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 atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.

AB - 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 atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.

KW - Algebraic logic

KW - Equivalential logics

KW - Model theory

M3 - Article

VL - 64

SP - 345

EP - 353

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 3

ER -

On definability of the equality in classes of algebras with an equivalence relation

Abstract

Keywords

Fingerprint

Cite this