Free equivalential algebras

DOI10.1016/J.APAL.2008.03.003zbMATH Open1154.08002OpenAlexW2064608708MaRDI QIDQ952484FDOQ952484

Authors: Katarzyna Słomczyńska 

Publication date: 12 November 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.03.003

Recommendations

• scientific article; zbMATH DE number 966889
• Basic properties of the equivalence
• scientific article; zbMATH DE number 120349
• scientific article; zbMATH DE number 179050
• Equivalential algebras. I: Representation

zbMATH Keywords

equivalencefree algebrasintuitionistic logicequivalential algebras

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Free algebras (08B20)

Cites Work

• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• A survey of abstract algebraic logic
• Title not available (Why is that?)
• Algebraizable logics
• Title not available (Why is that?)
• Protoalgebraic logics
• Title not available (Why is that?)
• Fregean logics
• Title not available (Why is that?)
• Finitely generated free Heyting algebras
• Implicational formulas in intuitionistic logic
• Dimension in algebraic frames
• Polynomially rich algebras
• Brouwerian Semilattices
• Title not available (Why is that?)
• Equivalential algebras. I: Representation
• Free spectra of linear equivalential algebras
• Free Heyting algebras
• Title not available (Why is that?)
• On the intuitionistic equivalential calculus
• Frame based formulas for intermediate logics
• Computations in fragments of intuitionistic propositional logic
• On the problem of R. E. Tax
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (20)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC
• Structure of free algebras
• Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
• The structure of completely meet irreducible congruences in strongly Fregean algebras
• Title not available (Why is that?)
• On the construction of free algebras for equational systems
• Equivalential Algebras with Conjunction on Dense Elements
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relatively free algebras with weak exchange properties
• The commutator in equivalential algebras and Fregean varieties
• Free spectra of linear equivalential algebras
• Title not available (Why is that?)
• Free Łukasiewicz implication algebras
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Free equivalential algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q952484)