scientific article; zbMATH DE number 522843

MaRDI QIDQ4284237zbMATH OpenFDO

Authors Virgil Emil Căzănescu

Publication date 12 December 1994

zbMATH Keywords

deductionequational logicatomic formulasequational Horn clause logicprojective \(\Sigma\)- algebra

Mathematics Subject Classification ID

Logic programming (68N17) Equational classes, universal algebra in model theory (03C05)

Recommendations

• Local possibilistic logic
• Local computation in linear logic
• scientific article; zbMATH DE number 67022
• scientific article; zbMATH DE number 1980939
• A Local System for Intuitionistic Logic
• scientific article; zbMATH DE number 1453054
• Embedding Logics in the Local Computation Framework
• scientific article; zbMATH DE number 1916675
• scientific article; zbMATH DE number 1341465
• Equational logic as a tool

Cited in

(9)

• On the soundness and completeness of equational predicate logics
• scientific article; zbMATH DE number 1341465 (Why is no real title available?)
• An introduction to category-based equational logic
• Category-based modularisation for equational logic programming
• Local computation in linear logic
• Local soundness for QBF calculi
• scientific article; zbMATH DE number 1980939 (Why is no real title available?)
• A Local System for Classical Logic
• scientific article; zbMATH DE number 1453054 (Why is no real title available?)

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