scientific article; zbMATH DE number 868093

MaRDI QIDQ4873976zbMATH OpenFDO

Authors Ildikó Sain

Publication date 23 June 1996

zbMATH Keywords

first-order logic with equalityfirst-order logic without equalityfinitely axiomatizable varietyfinitely axiomatizable class of algebrastruly finite Hilbert-style inference system

Mathematics Subject Classification ID

Classical first-order logic (03B10) Algebraic logic (03G99)

Recommendations

• scientific article; zbMATH DE number 638619
• Finitary Algebraic Logic
• Non-finite-axiomatizability results in algebraic logic
• scientific article; zbMATH DE number 475187

Cited in

(16)

• scientific article; zbMATH DE number 465603 (Why is no real title available?)
• scientific article; zbMATH DE number 1156790 (Why is no real title available?)
• FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY
• Reducing first-order logic to \(\mathsf{Df}_3\), free algebras
• Non-finite-axiomatizability results in algebraic logic
• Filter distributive logics
• First order logic without equality on relativized semantics
• scientific article; zbMATH DE number 35403 (Why is no real title available?)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• scientific article; zbMATH DE number 638619 (Why is no real title available?)
• Finitary Algebraic Logic
• On the search for a finitizable algebraization of first order logic
• A non-finitizability result in algebraic logic
• Complexity of equational theory of relational algebras with standard projection elements
• Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
• A short proof of representability of fork algebras

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