Negation in the context of gaggle theory

DOI10.1007/s11225-005-8470-yzbMath1097.03015OpenAlexW2058080516MaRDI QIDQ813083

J. Michael Dunn, Chunlai Zhou

Publication date: 30 January 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-005-8470-y

zbMATH Keywords

compatibility framesexhaustiveness framesgaggle theoryminimal negationorthonegationperp

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Negative modalities, consistency and determinedness ⋮ Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ The Došen square under construction: a tale of four modalities ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ On the universality of atomic and molecular logics via protologics ⋮ Sequent systems for negative modalities ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ On Heyting algebras with negative tense operators ⋮ The nature of entailment: an informational approach ⋮ Connexive negation ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Intuitionistic propositional logic with Galois negations ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ A “Reply” to My “Critics” ⋮ Understanding negation implicationally in the relevant logic R ⋮ On Displaying Negative Modalities ⋮ Computational complexity for bounded distributive lattices with negation ⋮ Hyper-contradictions, generalized truth values and logics of truth and falsehood ⋮ Negation on the Australian plan ⋮ Canonical extensions and relational representations of lattices with negation ⋮ A Semantic Analysis of Stone and Dual Stone Negations with Regularity ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Subminimal negation on the Australian plan ⋮ St. Alasdair on Lattices Everywhere

Cites Work

• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• A new semantics for positive modal logic
• Positive modal logic
• Defining double negation elimination
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item