Gordon Plotkin  Home/Search
Context Related
| homepages.inf.ed.ac.uk/gd...illative.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.ac.uk/gdp/pub... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we present a non-standard logic for our structures. It is a type-free intensional logic, and is also in the tradition of Curry's illative logic [HS86]; see also [AczN, FM87, Smi84, MA88]. The logic has two judgments: that an object is a fact and that an object is a state-of-a#airs (cf. truth and proposition). Objects are given using a variant of the traditional situation theory notation which is more standard, logically speaking, with explicit negation and quantification (see also... (Update)
Context of citations to this paper: More
...in the Introduction, it leads to a problematic unification theory. Among first order frameworks, Plotkin s notion of binding signature [26, 7], being unsorted, equates names used in binding with names of variables standing for unknown terms; so it is not sufficiently general...
Cited by: More
A Formal Calculus for Categories - Caccamo (2003) (Correct)
Nominal Unification - Urban, Pitts, Gabbay (2004) (Correct)
Active bibliography (related documents): More All
0.8: Describing the Approaches - Cooper, Crouch, van Eijck, Fox, van.. (1994) (Correct)
0.5: Mathematical Logic - Moschovakis (2000) (Correct)
0.3: A Cut-free Sequent Calculus for Elementary Situated Reasoning - Seligman (1991) (Correct)
Similar documents based on text: More All
0.2: Exposing Semantic Web Service principles in SOA to solve.. - Haller, Gomez, Bussler (2005) (Correct)
0.1: Semantic Domains for Combining Probability and Non-Determinism - Tix, Keimel, Plotkin (2005) (Correct)
0.1: Systems of Illative Combinatory Logic complete for.. - Barendregt, Bunder.. (1993) (Correct)
Related documents from co-citation: More All
5: Higher-order unification via explicit substitutions - Dowek, Hardin et al. - 1995
5: Abstract syntax and variable binding (context) - Fiore, Plotkin et al. - 1999
4: Theoretical Computer Science (context) - Bainbridge, Freyd et al. - 1990
BibTeX entry: (Update)
Plotkin, Gordon (1990) An illative theory of relations, in [CMP], pp 133--146 http://citeseer.ist.psu.edu/plotkin90illative.html More
@misc{ gordon90illative,
author = "P. Gordon",
title = "An illative theory of relations",
text = "Plotkin, Gordon (1990) An illative theory of relations, in [CMP], pp 133--146",
year = "1990",
url = "citeseer.ist.psu.edu/plotkin90illative.html" }
Citations (may not include all citations):137 Introduction to Combinators and #-calculus (context) - Hindley, Seldin - 1986
40 Towards Useful Type-Free Theories (context) - Feferman - 1984
16 Frege Structures and the Notion of Proposition (context) - Aczel - 1980
13 An Interpretation of Martin-Lof's Type Theory in a Type Free.. (context) - Smith - 1984
9 Privately Circulated Note (context) - Aczel
4 An Extension of Frege Structures (context) - Flagg, Myhill - 1987
4 The Notion of a Framework and a Framework for LTC (context) - Mendler, Aczel - 1988
3 Notes on a Model of a Theory of Situations (context) - Barwise - 1987
2 A Theory of Relations for Situation Theory (context) - Plotkin - 1990
2 Studies in Logic and the Foundations of Mathematics (context) - Barwise - 1977
1 Facts and True Propositions (context) - Barwise - 1988
1 Algebraic Semantics for Intensional Logics (context) - Aczel - 1988
1 A Manual of Intensional Logic (context) - van Bentham - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://homepages.inf.ed.ac.uk/gdp/publications/): More
Full Abstraction, Totality and PCF - Plotkin (1997) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
Complete Axioms for Categorical Fixed-point Operators - Simpson, Plotkin (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC