Formalized Token Models and Duality in Semantics: An Algebraic Approach
Journal of Symbolic Logic 69 (2):443 - 477 (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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesLars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
John Pais (1992). Revision Algebra Semantics for Conditional Logic. Studia Logica 51 (2):279 - 316.
Anna Bucalo (1994). Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. Journal of Logic, Language and Information 3 (3):211-232.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Studia Logica 64 (2):151-172.
Stefano Predelli (2006). The Problem with Token-Reflexivity. Synthese 148 (1):5 - 29.
Denis Bonnay & Paul Égré (2009). Inexact Knowledge with Introspection. Journal of Philosophical Logic 38 (2):179 - 227.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Studia Logica 64 (1):93-132.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,316 of 549,013 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
