Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska’s Theorem Revisited
نویسندگان
چکیده
منابع مشابه
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited
We provide a new proof of the following Pa lasińska’s theorem: Every finitely generated protoalgebraic relation distributive equality free quasivariety is finitely axiomatizable. The main tool we use are Q-relation formulas, for a protoalgebraic equality free quasivariety Q, which are the counterparts of the congruence formulas used for describing the generation of congruences in algebras. Havi...
متن کاملDense completeness theorem for protoalgebraic logics
The paper [3] started a new approach to Abstract Algebraic Logic in which, instead of the usual equivalence-based classification of logical systems leading to the well-known Leibniz hierarchy of protoalgebraic logics (see [5]), we proposed an alternative setting based on implication connectives. By studying the properties of weak p-implications (understood as generalized connectives defined by ...
متن کاملEquality, Revisited
In 1979 Yao published a paper that started the field of communication complexity and asked, in particular, what was the randomised complexity of the Equality function (EQ) in the Simultaneous Message Passing (SMP) model (for the question to be non-trivial, one must consider the setting of private randomness). The tight lower bound Ω( √ n) was given only in 1996 by Newman and Szegedy. In this wo...
متن کاملDeep Equality Revisited
We revisit the notion of deep equality among objects in an ob ject database from a formal point of view We present three natural formalizations of deep equality one based on the in nite value trees associated with objects one based on the greatest xpoint of an oper ator on equivalence relations among objects and one based on indis tinguishability of objects using observations of atomic values r...
متن کاملthe local nilpotence theorem for 4-engel groups revisited
the proof of the local nilpotence theorem for 4-engel groups was completed by g. havas and m. vaughan-lee in 2005. the complete proof on the other hand is spread over several articles and the aim of this paper is to give a complete coherent linear version. in the process we are also able to make few simplifications and in particular we are able to merge two of the key steps into one.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2013
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-013-9499-y