Polarity semantics for negation as a modal operator

DOI10.1007/s11225-019-09879-wzbMath1486.03049OpenAlexW2981545982WikidataQ126987460 ScholiaQ126987460MaRDI QIDQ831215

Minghui Ma, Yuanlei Lin

Publication date: 11 May 2021

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

Full work available at URL: https://doi.org/10.1007/s11225-019-09879-w

zbMATH Keywords

negationsequent systempolarity semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (2)

Intuitionistic propositional logic with Galois negations ⋮ Belnap-Dunn modal logic with value operators

Cites Work

• An algebraic approach to non-classical logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Countably many weakenings of Belnap-Dunn logic
• A deterministic weakening of Belnap-Dunn logic
• Correspondences between gentzen and hilbert systems
• Distributive Lattices with a Negation Operator
• Belnap's Four-Valued Logic and De Morgan Lattices
• Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Polarity semantics for negation as a modal operator