scientific article; zbMATH DE number 5839804

MaRDI QIDQ3067446zbMATH OpenFDO

Authors Manuel Sierra A.

Publication date 21 January 2011

zbMATH Keywords

determinability operatorparacomplete systempositive classical logicstrong negation operatorweak negation operator

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract deductive systems (03B22)

Recommendations

• On the system CB\(^1\) and a lattice of the paraconsistent calculi
• scientific article; zbMATH DE number 844484
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• A lattice of the paracomplete calculi
• scientific article; zbMATH DE number 5018640
• scientific article; zbMATH DE number 3557750
• Literal-paraconsistent and literal-paracomplete matrices
• \(L(A)=L(B)\)? decidability results from complete formal systems
• scientific article; zbMATH DE number 2086608
• Publication:3033738

Cited in

(1)

• Semantic forcing trees for basic logic with alternate affirmation and negation

This page was built for publication:

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