Two versions of minimal intuitionism with the CAP. A note

&
Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 20 (2):183-190 (2010)
  Copy   BIBTEX

Abstract

La "Conversa de la Propiedad Ackermann" (CAP) es la no demostrabilidad de proposiciones puramente no-necesitivas a partir de proposiciones necesitivas. En nuestro trabajo definimos las dos restricciones básicas de la lógica intuicionista mínima con la CAP.

Categories

Keywords

Reprint years

ISBN(s)

04954548

DOI

10.1387/theoria.571

Links

PhilArchive



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

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

Two versions of minimal intuitionism with the CAP. A note.José Manuel Méndez Rodríguez & Gemma Robles Vázquez - 2005 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 20 (2):183-190.
Two versions of minimal intuitionism with the CAP. A note.José Manuel Méndez Rodríguez & Gemma Robles - 2005 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 20 (2):183-190.
Two versions of minimal intuitionism with the cap. A note.Gemma Robles & José M. Méndez - 2005 - Theoria 20 (2):183-190.
Systems with the converse Ackermann property.José Manuel Méndez Rodríguez - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):253-258.
Verdad parcial y lógica intuicionista.Joseba Tobar-Arburu - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (2):561-570.
El sistema Bp+: una lógica positiva mínima para la negación mínima.José Manuel Méndez Rodríguez, Francisco Salto Alemany & Gemma Robles Vázquez - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (1):81-92.
Restricting the contraction axiom in Dummett's LC: a sublogic of LC with the Converse Ackermann Property, the logic LCo.Francisco Salto, José M. Méndez & Gemma Robles - 2001 - Bulletin of the Section of Logic 30 (3):139-146.
Two Extensions of Lewis’ S3 with Peirce’s Law.Francisco Salto & José M. Méndez - 1999 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 14 (3):407-411.
Verdad parcial y lógica intuicionista.José Félix Tobar Arbulu - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (2):561-568.
El sistema Bp+ : una lógica positiva mínima para la negación mínima (The system Bp+: a minimal positive logic for minimal negation).José M. Méndez, Francisco Salto & Gemma Robles - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (1):81-91.

Analytics

Added to PP
2017-01-11

Downloads
10 (#1,220,343)

6 months
1 (#1,514,069)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Gemma Robles
Universidad de León

Citations of this work

No citations found.

Add more citations

References found in this work

A Routley-Meyer semantics for converse Ackermann property.José M. Méndez - 1987 - Journal of Philosophical Logic 16 (1):65 - 76.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.

Add more references