𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebraic Characterizations for Universal Fragments of Logic

✍ Scribed by Raimon Elgueta

Publisher
John Wiley and Sons
Year
1999
Tongue
English
Weight
970 KB
Volume
45
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper we address our efforts to extend the well‐known connection in equational logic between equational theories and fully invariant congruences to other–possibly infinitary–logics. In the special case of algebras, this problem has been formerly treated by H. J. Hoehnke [10] and R. W. Quackenbush [14]. Here we show that the connection extends at least up to the universal fragment of logic. Namely, we establish that the concept of (infinitary) universal theory matches the abstract notion of fully invariant system. We also prove that, inside this wide group of theories, the ones which are strict universal Horn correspond to fully invariant closure systems, whereas those which are universal atomic can be characterized as principal fully invariant systems.

📜 SIMILAR VOLUMES

Algebraic semantics for the (↔, ¬¬)-frag
Algebraic semantics for the (↔, ¬¬)-fragment of IPC
✍ Katarzyna Słomczyńska 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 151 KB

## Abstract We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the (↔, ¬¬)‐fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.

Primeness Criteria for Universal Envelop
Primeness Criteria for Universal Enveloping Algebras of Lie Color Algebras
✍ Kenneth L Price 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 156 KB

We write det L L / 0 q y y if the matrix formed by brackets between elements of a basis of L L is nonsinguy lar. Unlike Lie super algebras, a Lie color algebra L L may have det L L / 0 and a Ž . universal enveloping algebra U L L which is not prime. We will provide examples Ž . and show that U L L i