scientific article; zbMATH DE number 5839804

zbMATH Open1203.03037MaRDI QIDQ3067446FDOQ3067446

Authors: Manuel Sierra A. 

Publication date: 21 January 2011

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

determinability operatorparacomplete systempositive classical logicstrong negation operatorweak negation operator

Mathematics Subject Classification ID

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

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)