✦ LIBER ✦

Priestley Duality for Paraconsistent Nelson’s Logic

✍ Scribed by Sergei P. Odintsov

Publisher: Springer Netherlands
Year: 2010
Tongue: English
Weight: 346 KB
Volume: 96
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-010-9274-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Class of Extensions of Nelson's Para

The Class of Extensions of Nelson's Paraconsistent Logic

✍ Sergei P. Odintsov 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 265 KB

Transfer theorems for extensions of the

Transfer theorems for extensions of the paraconsistent Nelson logic

✍ S. P. Odintsov 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 262 KB

Generalized Kripke semantics for Nelson’

Generalized Kripke semantics for Nelson’s logic

✍ E. I. Latkin 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 413 KB

Call for papers on paraconsistent logic

📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 41 KB

The Priestley duality for Wajsberg algeb

The Priestley duality for Wajsberg algebras

✍ N. G. Martínez 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 890 KB

Priestley duality for some subalgebra la

Priestley duality for some subalgebra lattices

✍ Georges Hansoul 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 819 KB

Priestley duality can be used to study subalgebras of Heyting algebras and related structures. The dual concept is that of congruence on the dual space and the congruence lattice of a Heyting space is dually isomorphic to the subaigebra lattice of the dual algebra. In this paper we continue our inve