✦ LIBER ✦

Paraconsistent algebras

✍ Scribed by Walter Alexandre Carnielli; Luiz Paulo Alcantara

Publisher: Springer Netherlands
Year: 1984
Tongue: English
Weight: 531 KB
Volume: 43
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00935742

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Paraconsistency

✍ Igor Urbas 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 610 KB

Paraconsistent logics?

✍ B. H. Slater 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 208 KB

Algebraization of logics defined by lite

Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices

✍ Eduardo Hirsh; Renato A. Lewin 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 165 KB

## Abstract We study the algebraizability of the logics constructed using literal‐paraconsistent and literal‐paracomplete matrices described by Lewin and Mikenberg in [11], proving that they are all algebraizable in the sense of Blok and Pigozzi in [3] but not finitely algebraizable. A characteriza

A Paraconsistent Decagon

✍ João Marcos; Diderik Batens; Walter Carnielli 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 65 KB

A scientific meeting is a success when it promotes a blend of ideas, proposals, guidelines and criticisms that will influence further research in the area. Measured by such standards, the Workshop on Paraconsistent Logic (WoPaLo), 1 was a very successful meeting. The present volume intends to attest

Paraconsistent quantum logics

✍ Maria Luisa Dalla Chiara; Roberto Giuntini 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 621 KB

Paraconsistent analytic implication

✍ Harry Deutsch 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 472 KB