𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by George Voutsadakis

Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
32 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Categorical abstract algebraic logic: Ge
Categorical abstract algebraic logic: Gentzen π -institutions and the deduction-detachment property
✍ George Voutsadakis 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

Given a π-institution I, a hierarchy of π-institutions I (n) is constructed, for n ≥ 1. We call I (n) the n-th order counterpart of I. The second-order counterpart of a deductive π-institution is a Gentzen π-institution, i. e. a π-institution associated with a structural Gentzen system in a canonica