𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Categorical Abstract Algebraic Logic: Behavioralπ-Institutions

✍ Scribed by Voutsadakis, George

Book ID
125369423
Publisher
Springer Netherlands
Year
2014
Tongue
English
Weight
334 KB
Volume
102
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Categorical abstract algebraic logic: Th
Categorical abstract algebraic logic: The categorical Suszko operator
✍ George Voutsadakis 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 229 KB

## Abstract Czelakowski introduced the Suszko operator as a basis for the development of a hierarchy of non‐protoalgebraic logics, paralleling the well‐known abstract algebraic hierarchy of protoalgebraic logics based on the Leibniz operator of Blok and Pigozzi. The scope of the theory of the Leibn