✦ LIBER ✦

The sixth edition of the IPC

✍ Scribed by Bo Hansson; Mikhail Makarov

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 507 KB
Volume: 17
Category: Article
ISSN: 0172-2190
DOI: 10.1016/0172-2190(94)00063-r

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The new, fourth edition of the IPC

✍ S. de Vries; E.R.J.F. de Bundel 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 571 KB

GMATÂ® Math Workbook: Sixth Edition

✍ The Staff of Kaplan Test Prep and Admissions 📂 Fiction 🏛 Kaplan 🌐 en-US ⚖ 3 MB

Spacehounds of The IPC

✍ E E (Doc) Smith 📂 Fiction 📅 1974 🏛 Panther 🌐 English ⚖ 166 KB 👁 1 views

Molecular Cell Biology, Sixth Edition

✍ Akif Uzman 📂 Article 📅 2010 🏛 The American Society for Biochemistry and Molecula 🌐 English ⚖ 35 KB 👁 2 views

Shaw's Textbook of Operative Gynecology,

Shaw's Textbook of Operative Gynecology, Sixth Edition

✍ Shirish Daftary 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 29 KB

Algebraic semantics for the (↔, ¬¬)-frag

Algebraic semantics for the (↔, ¬¬)-fragment of IPC

✍ Katarzyna Słomczyńska 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 151 KB

## Abstract We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the (↔, ¬¬)‐fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.