scientific article; zbMATH DE number 868093

zbMATH Open0844.03035MaRDI QIDQ4873976FDOQ4873976

Authors: Ildikó Sain 

Publication date: 23 June 1996

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

Recommendations

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

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)

Cited In (16)

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

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)