Damiano Macedonio, Giovanni Sambin  Home/Search
Context Related
| math.unipd.it/~logic/ft...relational.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: math.unipd.it/~s...GSpublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, since they provide with the right intuitions for the de nition of evaluation of formulae, in section 3 (Update)
Cited by: More
The Basic Picture, a structure for topology - The Basic Picture (Correct)
Active bibliography (related documents): More All
0.5: Quantales as completions of ordered monoids: Revised.. - Larchey-Wendling.. (Correct)
0.3: Fibring Labelled Deduction Systems - Rasga, Sernadas, Sernadas (2000) (Correct)
0.3: Fibring: Completeness Preservation - Zanardo, Sernadas, Sernadas (2000) (Correct)
Similar documents based on text: More All
0.6: From Basic Logic to Quantum Logics With Cut-Elimination - Faggian, Sambin (1997) (Correct)
0.6: Classical Proofs via Basic Logic - Faggian (1997) (Correct)
0.4: Basic Logic: Reflection, Symmetry, Visibility. - Sambin, Battilotti, Faggian (2000) (Correct)
BibTeX entry: (Update)
D. Macedonio and G. Sambin, Relational semantics for basic logic. submitted. http://citeseer.ist.psu.edu/600366.html More
@misc{ macedonio-relational,
author = "D. Macedonio and G. Sambin",
title = "Relational semantics for basic logic",
text = "D. Macedonio and G. Sambin, Relational semantics for basic logic. submitted.",
url = "citeseer.ist.psu.edu/600366.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, Logic - 1987
28 The semantics and proof Theory of linear logic - Avron - 1988
27 AMS Colloquium publications (context) - Birkhoff, Theory - 1967
26 Logics without the contraction rule (context) - Ono, Komori - 1985
20 Semantics for Substructural Logics (context) - Ono - 1993
14 Pretopologies and completeness proofs (context) - Sambin - 1995
8 Abelian categories: an introduction to the theory of functor.. (context) - Freyd - 1964
8 uber das logische Schliessen (context) - Gentzen
7 Building up a toolbox for Martin-Lof's type theory: subset .. (context) - Sambin, Valentini
3 Basic logic: re ection (context) - Sambin, Battilotti et al. - 2000
2 Semantical investigations of linear logic (context) - Ursini - 1995
1 Galois connections on the basic pair (context) - Guidi - 1999
1 Semantica relazionale per la logica di base (context) - Macedonio - 2001
1 Constructive logics: linear logic and proofnets (context) - Gallier - 1991
Documents on the same site (http://www.math.unipd.it/~sambin/GSpublications.html): More
From Basic Logic to Quantum Logics With Cut-Elimination - Faggian, Sambin (1997) (Correct)
Intuitionistic Formal Spaces - Sambin (1989) (Correct)
Steps Towards a Dynamic Constructivism - Sambin (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