scientific article; zbMATH DE number 3604887
From MaRDI portal
Publication:4170718
zbMath0389.03025MaRDI QIDQ4170718
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)
Related Items (13)
Kleene algebras with implication ⋮ Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Twist structures and Nelson conuclei ⋮ Belnap Constants and Nelson Logic ⋮ Tense operators on distributive lattices with implication ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ On some categories of involutive centered residuated lattices ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ A family of genuine and non-algebraisable C-systems ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory
This page was built for publication:
