Peter Aczel  Home/Search
Context Related
Links: ACM | di.uminho.pt/ftp/p...el.Schematic.ps.gz cs.man.ac.uk/pub/applie...schcons.ps.gz 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: di.uminho.pt/ftp/pub/DI/F...clics (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The aim of this note is first to set up some general theory for discussing different aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of capturing this aspect without making any commitment to the kind of syntax a logic should have. Introduction Nowadays we are well aware that there are many different logics. There are computer systems which are meant to be used to implement many logics. But there is no generally accepted account of ... (Update)
Context of citations to this paper: More
...judgements j 1 ; j n ; j, which may contain schematic variables. Similar consequence relations have also been studied by Aczel [Acz92]. The advantage of this approach is that it captures the notion of the existence of a derivation without adapting the logic to...
Cited by: More
Equivalences between Logics and their Representing Type Theories - Gardner (1992) (Correct)
Active bibliography (related documents): More All
0.5: Gödel's Functional ("Dialectica") Interpretation - Avigad, Feferman (1998) (Correct)
0.1: From specifications to code in Casl - Aspinall, Sannella (2002) (Correct)
0.1: Moving Specification Structures Between Logical Systems - Borzyszkowski (1998) (Correct)
Similar documents based on text: More All
0.2: Informational Independence: Models and Normal Forms - van der Gaag, Meyer (1997) (Correct)
0.2: Accessing Imprecise Data: An Approach Based on Intervals - Barga, Pu (1993) (Correct)
0.2: Imprecision in Engineering Design - Antonsson, Otto (1995) (Correct)
BibTeX entry: (Update)
P. Aczel. Schematic Consequence, Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad, 1992. http://citeseer.ist.psu.edu/aczel92schematic.html More
@incollection{ aczel92schematic,
author = "Peter Aczel",
title = "Schematic Consequence",
booktitle = "Preliminary Proceedings Workshop on Types for Proofs and Programs, B{\aa}stad, Sweden, 8--12 June 1992",
address = "ftp://ftp.cs.chalmers.se/pub/cs-reports/baastad.92/proc.dvi.Z",
editor = "B. Nordstr{\"o}m and K. Pettersson and G. Plotkin",
pages = "11--20",
year = "1992",
url = "citeseer.ist.psu.edu/aczel92schematic.html" }
Citations (may not include all citations):2 Annals of Mathematical Logic (context) - Abstract, Theory - 1974
1 Institute of Computer Sciences (context) - Systems, Implication et al. - 1991
1 Edinburgh LFCS Report (context) - Abstract, for et al. - 1990
1 A version appeared in the proceedings of the 4th LICS meetin.. (context) - Representation - 1989
1 A Framework for defining logics (context) - defining, Proc - 1987 ACM DBLP
Documents on the same site (http://www.di.uminho.pt/ftp/pub/DI/Fundamentos/Papers/mirror-ImperialCollege/AbramskyS/clics): More
Parametricity as Isomorphism - Robinson (1993) (Correct)
A Note on SDT in Filter Spaces - Moggi (1993) (Correct)
Constructing a Quasi-Uniform Function Space - Sünderhauf (1993) (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