scientific article; zbMATH DE number 5005365

zbMATH Open1081.03020MaRDI QIDQ3369100FDOQ3369100

Authors: Jānis Cīrulis 

Publication date: 13 February 2006

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

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

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

zbMATH Keywords

complex algebramulti-algebraepsilon-algebraepsilon-logic

Mathematics Subject Classification ID

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

Cited In (7)

• Reconciling first-order logic to algebra
• A logical characterization of multi-adjoint algebras
• A Category of Ordered Algebras Equivalent to the Category of Multialgebras
• Quantifier-free logic for multialgebraic theories
• Multisorted tree-algebras for hierarchical resources allocation
• The universal theory of first order algebras and various reducts
• 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 Q3369100)