A constructive logic behind the catch and throw mechanism

Annals of Pure and Applied Logic 69 (2-3):269-301 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)90087-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.Guido Bertolotti, Pierangelo Miglioli & Daniela Silvestrini - 1996 - Mathematical Logic Quarterly 42 (1):501-536.
On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Review: S. C. Kleene, Mathematical Logic: Constructive and Non-Constructive Operations. [REVIEW]Julia Robinson - 1962 - Journal of Symbolic Logic 27 (1):78-78.
Sequential Modification of Constructive Logic Calculus for Normal Formulas without Structural Deduction Rules.R. A. Plyushkevychus - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 70--76.
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (1):76-86.
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant.Gemma Robles - 2007 - Logic and Logical Philosophy 16 (4):311-322.
A Solution to the Surprise Exam Paradox in Constructive Mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Review of Symbolic Logic 5 (4):679-686.
Preemptive prevention.John Collins - 2000 - Journal of Philosophy 97 (4):223-234.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Vindication of the human and social science of Kurt H. Wolff.Gary Backhaus - 2003 - Human Studies 26 (3):309-335.
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (4):455-477.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.

Analytics

Added to PP
2014-01-16

Downloads
19 (#803,294)

6 months
2 (#1,206,802)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references