Constructive discursive logic with strong negation

MaRDI QIDQ2904139zbMATH OpenFDO

Authors Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu

Publication date 6 August 2012

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

axiomatic systemconstructive logicdiscursive logicdiscussive logicKripke semanticsparaconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Negations in the adjunctive discursive logic
• A quasi-discursive system \(ND_2^+\)
• scientific article; zbMATH DE number 2019883
• Nelson's paraconsistent logics
• Some results on Jaśkowski’s discursive logic

Cited in

(9)

• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• scientific article; zbMATH DE number 2019883 (Why is no real title available?)
• Why paraconsistent logics?
• Jair Minoro Abe on paraconsistent engineering
• Negations in the adjunctive discursive logic
• scientific article; zbMATH DE number 6287631 (Why is no real title available?)
• Non-adjunctive discursive logic
• On paracomplete versions of Jaśkowski's discussive logic
• A quasi-discursive system \(ND_2^+\)

This page was built for publication: Constructive discursive logic with strong negation

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