Levels of implication and type free theories of classifications with approximation operator

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

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

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 R eally 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
2016-02-04

Downloads
35 (#433,400)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

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

Add more citations

References found in this work

The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
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.
Levels of implication.John Myhill - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 179--185.

View all 9 references / Add more references