Authors
Andrea Cantini
Università degli Studi di Firenze
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.19920380109
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,342
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Theory and Logical Complexity.J. Y. Girard - 1991 - Annals of Pure and Applied Logic 53 (4):197.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Frege Structures and the Notions of Truth and Proposition.P. Aczel - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.

View all 9 references / Add more references

Citations of this work BETA

Fixed Points in Peano Arithmetic with Ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.

Add more citations

Similar books and articles

A Study in Paradoxes and Type-Free Theories.Inkyo Chung - 1990 - Dissertation, University of Minnesota
Uwagi o implikacji materialnej.Stanisław Kiczuk - 2006 - Roczniki Filozoficzne 54 (1):69-79.
Self-Turbulence in the Motion of a Free Particle.G. Sivashinsky - 1978 - Foundations of Physics 8 (9-10):735-744.
Free Łukasiewicz Implication Algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Levels of Truth.Andrea Cantini - 1995 - Notre Dame Journal of Formal Logic 36 (2):185-213.
How to Be Really Contraction Free.Greg Restall - 1993 - Studia Logica 52 (3):381 - 391.
The Semantics of Scandinavian Free Choice Items.Kjell Johan Saeboe - 2001 - Linguistics and Philosophy 24 (6):737-788.
Storage Operators and ∀‐Positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.

Analytics

Added to PP index
2016-02-04

Total views
26 ( #374,001 of 2,326,057 )

Recent downloads (6 months)
1 ( #650,227 of 2,326,057 )

How can I increase my downloads?

Downloads

My notes