𝔖 Bobbio Scriptorium
✦   LIBER   ✦

M-Zeroids: Structure and Categorical Equivalence

✍ Scribed by Joshua B. Palmatier, Fernando Guzman


Book ID
118810698
Publisher
Springer Netherlands
Year
2012
Tongue
English
Weight
428 KB
Volume
100
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Effective categoricity of equivalence st
✍ Wesley Calvert; Douglas Cenzer; Valentina Harizanov; Andrei Morozov πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 327 KB
Categorical abstract algebraic logic: Th
✍ 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