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.
Citation
Lars Hansen. "Formalized token models and duality in semantics: an algebraic approach." J. Symbolic Logic 69 (2) 443 - 477, June 2004. https://doi.org/10.2178/jsl/1082418537
Information