Integral prefilters and integral EQ-algebras

DOI10.1515/ms-2022-0019OpenAlexW4221136853MaRDI QIDQ2122478

Akbar Paad

Publication date: 6 April 2022

Published in: Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/ms-2022-0019

zbMATH Keywords

locally finiteBoolean prefilterintegral EQ-algebraintegral prefilter

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Boolean algebras (Boolean rings) (06E99) MV-algebras (06D35) Logical aspects of Boolean algebras (03G05)

Uses Software

• ETPS

Cites Work

• On good EQ-algebras
• On fuzzy type theory
• Representable good EQ-algebras
• EQ-algebras
• An introduction to mathematical logic and type theory: To truth through proof.
• Implicative and positive implicative prefilters of EQ-algebras
• Unnamed Item
• Unnamed Item

This page was built for publication: Integral prefilters and integral EQ-algebras