Formalized token models and duality in semantics: an algebraic approach
Lars Peter Hansen · Journal of Symbolic Logic · 2004
Abstract. Employing the theory of Birkhoff polarities as a model of model theory yields an inductively defined dual structure which is a formalization of semantics and which allows for simple proofs of some new results for model theory.