Intuitionistic varepsilon - and τ -calculi

Mathematical Logic Quarterly 41 (4):523--546 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hilbert’s varepsilon -operator in intuitionistic type theories.John L. Bell - 1993 - Mathematical Logic Quarterly 39 (1):323--337.
Intuitionistic ε- and τ-calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.
Semantics for a class of intuitionistic modal calculi.Gisele Servi - 1978 - Bulletin of the Section of Logic 7 (1):26-29.
Hypersequent calculi for intuitionistic logic with classical atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Extensions of the Cugiani-Mahler theorem.Yann Bugeaud - 2007 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 6 (3):477-498.
Sufficient conditions for cut elimination with complexity analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
Unified fields of analytic space-time-energy.André Gleyzal - 1976 - Foundations of Physics 6 (3):299-303.
Sharp upper bounds for a singular perturbation problem related to micromagnetics.Arkady Poliakovsky - 2007 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 6 (4):673-701.

Analytics

Added to PP
2016-09-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

David DeVidi
University of Waterloo

References found in this work

No references found.

Add more references