A deterministic weakening of Belnap-Dunn logic

DOI10.1007/s11225-018-9792-xzbMath1494.03060OpenAlexW2792567301MaRDI QIDQ2422310

Minghui Ma, Yuanlei Lin

Publication date: 19 June 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9792-x

zbMATH Keywords

relational semanticsBelnap-Dunn logicOckham algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (5)

A paraconsistent conditional logic ⋮ Polarity semantics for negation as a modal operator ⋮ Belnap-Dunn modal logic with value operators ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ Neighbourhood semantics for FDE-based modal logics

Cites Work

• Selfextensional logics with a conjunction
• Ockham algebras with De Morgan skeletons
• Distributive lattices with a dual homomorphic operation
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• Distributive lattices with an additional unary operation
• An algebraic view of super-Belnap logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Distributive lattices with a dual homomorphic operation. II
• Partiality and its dual
• Nothing but the truth
• Distributive Lattices with a Dual Endomorphism
• Semi-de Morgan algebras
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics
• Lattices With Involution
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A deterministic weakening of Belnap-Dunn logic