Basic logic with strong affirmation

MaRDI QIDQ3067368zbMATH OpenFDO

Authors Manuel Sierra A.

Publication date 21 January 2011

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Recommendations

• A general semantics for logics of affirmation and negation
• Paraconsistent and paracomplete basic logics without classical negation and some of their extensions
• A unification of the basic logics of Sambin and Visser
• Overclassical logic
• It might have been classical logic

Cited in

(2)

• Semantic forcing trees for basic logic with alternate affirmation and negation
• A general semantics for logics of affirmation and negation

This page was built for publication: Basic logic with strong affirmation

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