On extensions of Nelson's logic satisfying Dummett's axiom

zbMATH Open1164.03313MaRDI QIDQ3544704FDOQ3544704

Authors: S. P. Odintsov 

Publication date: 8 December 2008

Full work available at URL: https://eudml.org/doc/55568

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• The class of extensions of Nelson's paraconsistent logic
• On extensions of intermediate logics by strong negation
• An axiomatization of Wansing's expansion of Nelson's logic
• Transfer theorems for extensions of the paraconsistent Nelson logic
• scientific article; zbMATH DE number 2068681

zbMATH Keywords

paraconsistencyconstructive negationNelson's logicDummett's axiom

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (9)

• On deductive bases for paraconsistent answer set semantics
• A note on Wansing's expansion of Nelson's logic. A correction to an axiomatization of Wansing's expansion of Nelson's logic
• Irreflexive modality, the Dummett logic, and continual chains
• Belnap constants and Nelson logic
• Prelinearity in (quasi-)Nelson logic
• An axiomatization of Wansing's expansion of Nelson's logic
• Transfer theorems for extensions of the paraconsistent Nelson logic
• The normal and self-extensional extension of Dunn-Belnap logic
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: On extensions of Nelson's logic satisfying Dummett's axiom

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