Formalized token models and duality in semantics: an algebraic approach

DOI10.2178/JSL/1082418537zbMath1069.03031OpenAlexW2017835166MaRDI QIDQ5311734

No author found.

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1082418537

zbMATH Keywords

dualitycategoricityMorley theoremlattice structuresatomic modelsdual interpretationtoken modelBirkhoff polarity

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Categories of algebras (08C05) Abstract model theory (03C95)

Related Items (1)

On an algebra of lattice-valued logic

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Formalized token models and duality in semantics: an algebraic approach