scientific article; zbMATH DE number 5005365

MaRDI QIDQ3369100zbMATH OpenFDO

Authors Jānis Cīrulis

Publication date 13 February 2006

Full work available at URL https://eudml.org/doc/223232

zbMATH Keywords

complex algebramulti-algebraepsilon-algebraepsilon-logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Partial algebras (08A55)

Recommendations

• scientific article; zbMATH DE number 67024
• scientific article; zbMATH DE number 5520316
• Reconciling first-order logic to algebra
• First-order theories as many-sorted algebras
• Many-valued logics and their algebras
• On the Algebraization of Many-Sorted Logics
• Algebraizable logics
• Quantifier-free logic for multialgebraic theories
• scientific article; zbMATH DE number 2145279
• scientific article; zbMATH DE number 1163390

Cited in

(7)

• The universal theory of first order algebras and various reducts
• A Category of Ordered Algebras Equivalent to the Category of Multialgebras
• scientific article; zbMATH DE number 5520316 (Why is no real title available?)
• Reconciling first-order logic to algebra
• Quantifier-free logic for multialgebraic theories
• A logical characterization of multi-adjoint algebras
• Multisorted tree-algebras for hierarchical resources allocation

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