𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Behavioral Algebraization of Logics

✍ Scribed by Carlos Caleiro; Ricardo Gonçalves; Manuel Martins

Book ID
106539049
Publisher
Springer Netherlands
Year
2009
Tongue
English
Weight
527 KB
Volume
91
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Incompleteness of Behavioral Logics
Incompleteness of Behavioral Logics
✍ Samuel Buss; Grigore Roşu 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 905 KB

Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not recursively enumerable, which means that there are no automatic methods for proving all true statements; in particular, be