scientific article; zbMATH DE number 522843

zbMATH Open0802.03029MaRDI QIDQ4284237FDOQ4284237

Authors: Virgil Emil Căzănescu 

Publication date: 12 December 1994

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

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

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)

Cited In (9)

• On the soundness and completeness of equational predicate logics
• Title not available (Why is that?)
• An introduction to category-based equational logic
• Category-based modularisation for equational logic programming
• Local computation in linear logic
• Local soundness for QBF calculi
• Title not available (Why is that?)
• A Local System for Classical Logic
• Title not available (Why is that?)

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)