Formalized token models and duality in semantics: an algebraic approach

More by Lars Hansen

Full-text: Access denied (no subscription detected) We're sorry, but we are unable to provide you with the
full text of this article because we are not able to identify you as
a subscriber. If you have a personal subscription to this journal,
then please login. If you are already logged in, then you may need
to update your profile to register your subscription. Read more about accessing full-text

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.