✦ LIBER ✦

Consistency in Categorical Languages for Algebras

✍ Scribed by Ahmad Shafaat

Publisher: John Wiley and Sons
Year: 1980
Tongue: English
Weight: 164 KB
Volume: 26
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19800261303

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of countable categoricity

The complexity of countable categoricity in finite languages

✍ Aleksander Ivanov 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB

## Abstract We study complexity of the index set of countably categorical theories and Ehrenfeucht theories in finite languages.

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

Corrigendum to “Categorical abstract alg

Corrigendum to “Categorical abstract algebraic logic: The criterion for deductive equivalence”

✍ George Voutsadakis 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 32 KB

What's in a name? Brain activity reveals

What's in a name? Brain activity reveals categorization processes differ across languages

✍ Chao Liu; Twila Tardif; Xiaoqin Mai; William J. Gehring; Nina Simms; Yue-Jia Luo 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 703 KB

## Abstract The linguistic relativity hypothesis proposes that speakers of different languages perceive and conceptualize the world differently, but do their brains reflect these differences? In English, most nouns do not provide linguistic clues to their categories, whereas most Mandarin Chinese n

A method for solving algebraic systems c

A method for solving algebraic systems consisting of linear and nonlinear equations

✍ R. P. Tewarson; D. Q. Chen 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 213 KB

Categorical abstract algebraic logic: Th

Categorical abstract algebraic logic: The largest theory system included in a theory family

✍ George Voutsadakis 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

## Abstract In this note, it is shown that, given a __π__ ‐institution ℐ = 〈**Sign**, SEN, __C__ 〉, with __N__ a category of natural transformations on SEN, every theory family __T__ of ℐ includes a unique largest theory system $ \overleftarrow T $ of ℐ. $ \overleftarrow T $ satisfies the important