Free equivalential algebras

DOI10.1016/J.APAL.2008.03.003MaRDI QIDQ952484zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 5119915 (Why is no real title available?)
• scientific article; zbMATH DE number 179049 (Why is no real title available?)
• scientific article; zbMATH DE number 3496106 (Why is no real title available?)
• scientific article; zbMATH DE number 496003 (Why is no real title available?)
• scientific article; zbMATH DE number 1045389 (Why is no real title available?)
• scientific article; zbMATH DE number 194904 (Why is no real title available?)
• scientific article; zbMATH DE number 1373382 (Why is no real title available?)
• scientific article; zbMATH DE number 5233156 (Why is no real title available?)
• scientific article; zbMATH DE number 3231882 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• A survey of abstract algebraic logic
• Algebraizable logics
• Brouwerian Semilattices
• Computations in fragments of intuitionistic propositional logic
• Dimension in algebraic frames
• Equivalential algebras. I: Representation
• Finitely generated free Heyting algebras
• Frame based formulas for intermediate logics
• Free Heyting algebras
• Free spectra of linear equivalential algebras
• Fregean logics
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Implicational formulas in intuitionistic logic
• On the intuitionistic equivalential calculus
• On the problem of R. E. Tax
• Polynomially rich algebras
• Protoalgebraic logics

Cited in

(20)

• scientific article; zbMATH DE number 6157362 (Why is no real title available?)
• scientific article; zbMATH DE number 1204394 (Why is no real title available?)
• scientific article; zbMATH DE number 440025 (Why is no real title available?)
• scientific article; zbMATH DE number 440029 (Why is no real title available?)
• scientific article; zbMATH DE number 56028 (Why is no real title available?)
• 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
• On the construction of free algebras for equational systems
• scientific article; zbMATH DE number 1852933 (Why is no real title available?)
• scientific article; zbMATH DE number 749697 (Why is no real title available?)
• scientific article; zbMATH DE number 1463145 (Why is no real title available?)
• Equivalential Algebras with Conjunction on Dense Elements
• The commutator in equivalential algebras and Fregean varieties
• Relatively free algebras with weak exchange properties
• Free spectra of linear equivalential algebras
• scientific article; zbMATH DE number 2217114 (Why is no real title available?)
• Free Łukasiewicz implication algebras
• scientific article; zbMATH DE number 179049 (Why is no real title available?)

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)