𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Deductive systems of a cone algebra — II: Isomorphism theorem

✍ Scribed by N. V. Subrahmanyam

Book ID
111492990
Publisher
SP Versita
Year
2008
Tongue
English
Weight
193 KB
Volume
58
Category
Article
ISSN
0139-9918

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A deduction theorem schema for deductive
A deduction theorem schema for deductive systems of propositional logics
✍ Janusz Czelakowski; Wiesław Dziobiak 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 326 KB

We propose a new schema for the deduction theorem and prove that the deductive system S of a propositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only propositional letters p and q such that A(p, p) C\_ L and p, A(p,

On the lattice of deductive systems of a
On the lattice of deductive systems of a BL-algebra
✍ Dumitru Bu§neag; Dana Piciu 📂 Article 📅 2003 🏛 SP Versita 🌐 English ⚖ 273 KB

For a BL-algebra A we denote by Ds(A) the lattice of all deductive systems of A. The aim of this paper is to put in evidence new characterizations for the meet-irreducible elements on Ds(A). Hyperarchimedean BL-algebras, too, are characterized.