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

Fingerprint Dive into the research topics of 'On definability of the equality in classes of algebras with an equivalence relation'. Together they form a unique fingerprint.

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 -