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

MaRDI QIDQ3544704zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 8 December 2008

Full work available at URL https://eudml.org/doc/55568, http://www.emis.de/journals/SMZ/2007/01/138.htm

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

zbMATH Keywords

paraconsistencyconstructive negationNelson's logicDummett's axiom

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

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

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)