Article contents
Formalized token models and duality in semantics: an algebraic approach
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2004
References
REFERENCES
- 2
- Cited by