Representations of Sheffer stroke algebras and Visser algebras

DOI10.1007/s00500-021-05777-3zbMath1498.03164OpenAlexW3170845968MaRDI QIDQ2100205

A. Molkhasi

Publication date: 21 November 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-021-05777-3

zbMATH Keywords

MacNeille completionSheffer strokestrongly algebraically closed algebraVisser algebras

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (3)

Strongly algebraically closed Cevian lattices ⋮ Strongly algebraically closed \(p\)-semilattices ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparison of MacNeille, canonical, and profinite completions
• A propositional logic with explicit fixed points
• Binomial pairs, semi-Brouwerian and Brouwerian semilattices
• Cauchy completions of MV-algebras.
• Short single axioms for Boolean algebra
• The Sheffer stroke operation reducts of basic algebras
• Idempotent semigroups with distributive right congruence lattices
• Algebraic geometry over Boolean algebras in the language with constants
• Independence of axiom system of basic algebras
• Strongly algebraically closed orthomodular near semirings
• Lattice Theory: Foundation
• Introduction to Boolean Algebras
• Regular Embeddings which Preserve Lattice Structure
• Algebraically and Existentially Closed Distributive Lattices
• Basic Propositional Calculus I
• On free pseudo-complemented and relatively pseudo-complemented semi-lattices
• Bounded lattices with antitone involutions and properties of MV-algebras
• Congruence Relations in Semi-Lattices
• On Strongly Algebraically Closed Lattices
• Basic algebras, logics, trends and applications

This page was built for publication: Representations of Sheffer stroke algebras and Visser algebras