Defining double negation elimination

DOI10.1093/JIGPAL/8.6.853MaRDI QIDQ4521288zbMATH OpenOpenAlexFDO

Authors Greg Restall

Publication date 19 December 2000

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/8.6.853

zbMATH Keywords

double negation eliminationframes

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other nonclassical logic (03B60) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Double-negation elimination in some propositional logics
• Generalized ortho negation
• Correction to a definition of negation
• scientific article; zbMATH DE number 859801
• A semantic analysis of Stone and dual Stone negations with regularity

Cited in

(13)

• Sequent calculi for semi-De Morgan and De Morgan algebras
• Subminimal negation on the Australian plan
• Negation on the Australian plan
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• A basic quasi-Boolean logic of intuitionistic character
• Questions to Michael Dunn
• Understanding negation implicationally in the relevant logic R
• A semantic analysis of Stone and dual Stone negations with regularity
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• A study of algebraic structures and logics based on categories of rough sets
• Proofs with star and perp
• Double-negation elimination in some propositional logics
• Negation in the context of gaggle theory

This page was built for publication: Defining double negation elimination

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