A first order proof of a theorem of Frink

DOI10.1007/BF02483852zbMath0476.06012OpenAlexW2007220522MaRDI QIDQ1160202

R. Padmanabhan

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02483852

zbMATH Keywords

Stone's representation theoremfirst order logiccomplemented distributive latticepostulates for Boolean algebras

Mathematics Subject Classification ID

Classical first-order logic (03B10) Stone spaces (Boolean spaces) and related structures (06E15) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Canonical extensions and relational representations of lattices with negation

Cites Work

• On Axioms for Semi-Lattices

This page was built for publication: A first order proof of a theorem of Frink