## Journal of Symbolic Logic

- J. Symbolic Logic
- Volume 69, Issue 2 (2004), 443-477.

### Formalized token models and duality in semantics: an algebraic approach

#### 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.

#### Article information

**Source**

J. Symbolic Logic Volume 69, Issue 2 (2004), 443-477.

**Dates**

First available in Project Euclid: 19 April 2004

**Permanent link to this document**

http://projecteuclid.org/euclid.jsl/1082418537

**Digital Object Identifier**

doi:10.2178/jsl/1082418537

**Mathematical Reviews number (MathSciNet)**

MR2058183

**Zentralblatt MATH identifier**

1069.03031

#### Citation

Hansen, Lars. Formalized token models and duality in semantics: an algebraic approach. J. Symbolic Logic 69 (2004), no. 2, 443--477. doi:10.2178/jsl/1082418537. http://projecteuclid.org/euclid.jsl/1082418537.