scientific article; zbMATH DE number 3604887

MaRDI QIDQ4170718zbMATH OpenFDO

Authors Manuel M. Fidel

Publication date 1978

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)

Cited in

(22)

• On some categories of involutive centered residuated lattices
• Representation of De Morgan and (semi-)Kleene lattices
• Twist structures and Nelson conuclei
• Categories of models of \(\mathbf{R}\)-mingle
• Kleene algebras with implication
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• The subvariety of commutative residuated lattices represented by twist-products
• 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
• Belnap constants and Nelson logic
• Tense operators on distributive lattices with implication
• Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
• Nelson algebras, residuated lattices and rough sets: A survey
• Hyper swap structures and Kalman functors: the case study of da Costa logic C_
• A new categorical equivalence for Stone algebras
• On n-valued Post algebras and n-valued Post logics: twist-style representation and proof theory
• Modality across different logics
• Ivlev-like modal logics of formal inconsistency obtained by fibring swap structures
• Combining swap structures: the case of paradefinite Ivlev-like modal logics based on FDE
• On a four-valued logic of formal inconsistency and formal undeterminedness
• Heyting algebras with Kalman-Galois connections

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4170718)