Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

&
Annals of Pure and Applied Logic 168 (3):501-621 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.10.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Topological representation of geometric theories.Henrik Forssell - 2012 - Mathematical Logic Quarterly 58 (6):380-393.
Dual Gaggle Semantics for Entailment.Katalin Bimbó - 2009 - Notre Dame Journal of Formal Logic 50 (1):23-41.
Dynamic topological logic.S. Artemov - unknown
Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Topological duality for distributive ockham algebras.Moshe S. Goldberg - 1983 - Studia Logica 42 (1):23 - 31.
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
Some modifications of Scott's theorem on injective spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories.Giovanna D'Agostino - 1994 - Notre Dame Journal of Formal Logic 35 (4):563-572.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.

Analytics

Added to PP
2016-10-13

Downloads
25 (#598,332)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):289-306.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.

View all 6 references / Add more references