✦ LIBER ✦

Categorical languages for algebraic structures

✍ Scribed by W. S. Hatcher; A. Shafaat

Publisher: John Wiley and Sons
Year: 1975
Tongue: English
Weight: 521 KB
Volume: 21
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19750210159

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Consistency in Categorical Languages for

Consistency in Categorical Languages for Algebras

✍ Ahmad Shafaat 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 164 KB

Countably Categorical Structures with n-

Countably Categorical Structures with n-Degenerate Algebraic Closure

✍ Evgueni V. Vassiliev 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 583 KB

## Abstract We study the class of ω‐categorical structures with __n__‐degenerate algebraic closure for some __n__ ε ω, which includes ω‐categorical structures with distributive lattice of algebraically closed subsets (see [4]), and in particular those with degenerate (trivial) algebraic closure. We

Categorical Abstract Algebraic Logic: St

Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence

✍ George Voutsadakis 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 191 KB

## Abstract The notion of an __ℐ__ ‐matrix as a model of a given __π__ ‐institution __ℐ__ is introduced. The main difference from the approach followed so far in Categorical Abstract Algebraic Logic (CAAL) and the one adopted here is that an __ℐ__ ‐matrix is considered modulo the entire class of mo

Categorical abstract algebraic logic: Th

Categorical abstract algebraic logic: The criterion for deductive equivalence

✍ George Voutsadakis 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

## Abstract Equivalent deductive systems were introduced in [4] with the goal of treating 1‐deductive systems and algebraic 2‐deductive systems in a uniform way. Results of [3], appropriately translated and strengthened, show that two deductive systems over the same language type are equivalent if

A Language for Type-Free Algebra

✍ William S. Hatcher 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 854 KB

Applications of a symbolic algebra manip

Applications of a symbolic algebra manipulation language for composite structures analysis

✍ Dick J. Wilkins Jr. 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 624 KB