scientific article; zbMATH DE number 1761419

MaRDI QIDQ4537439zbMATH OpenFDO

Authors Hans de Nivelle

Publication date 30 June 2002

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• On the unification of classical, intuitionistic and affine logics
• scientific article; zbMATH DE number 1324435
• Labelled resolution for classical and non-classical logics
• A hierarchy of classical and paraconsistent logics
• scientific article; zbMATH DE number 1795986
• scientific article; zbMATH DE number 1324432
• scientific article; zbMATH DE number 4027425
• Resolution with order and selection for hybrid logics
• Logics for residuated pseudo-uninorms and their residua
• scientific article; zbMATH DE number 517007

Cited in

(7)

• Completeness results for inequality provers
• A-ordered tableaux
• scientific article; zbMATH DE number 1324435 (Why is no real title available?)
• scientific article; zbMATH DE number 517062 (Why is no real title available?)
• scientific article; zbMATH DE number 1090101 (Why is no real title available?)
• scientific article; zbMATH DE number 2079034 (Why is no real title available?)
• Semantic tableaux with ordering restrictions

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 Q4537439)