scientific article; zbMATH DE number 522843

MaRDI QIDQ4284237zbMATH OpenFDO

Authors Virgil Emil Căzănescu

Publication date 12 December 1994

zbMATH Keywords

atomic formulasdeductionequational Horn clause logicequational logicprojective \(\Sigma\)- algebra

Mathematics Subject Classification ID

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

Recommendations

• Local possibilistic logic
• Local computation in linear logic
• scientific article; zbMATH DE number 67022
• A local system for linear logic
• A Local System for Intuitionistic Logic
• Locally determined logic programs
• Embedding Logics in the Local Computation Framework
• scientific article; zbMATH DE number 1916675
• Logical deduction using the local computation framework
• Equational logic as a tool

Cited in

(9)

• Local soundness for QBF calculi
• Category-based modularisation for equational logic programming
• On the soundness and completeness of equational predicate logics
• A Local System for Classical Logic
• Logical deduction using the local computation framework
• Local computation in linear logic
• A local system for linear logic
• Locally determined logic programs
• An introduction to category-based equational logic

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)