Defining double negation elimination
From MaRDI portal
Publication:4521288
DOI10.1093/jigpal/8.6.853zbMath0980.03033OpenAlexW2133333359MaRDI QIDQ4521288
Publication date: 19 December 2000
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/8.6.853
Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items
Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Sequent calculi for semi-De Morgan and De Morgan algebras ⋮ Understanding negation implicationally in the relevant logic R ⋮ Negation on the Australian plan ⋮ A Semantic Analysis of Stone and Dual Stone Negations with Regularity ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ Subminimal negation on the Australian plan ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Negation in the context of gaggle theory
This page was built for publication: Defining double negation elimination
