- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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)
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.Author Profiles
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
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.
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.
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.
Analytics
Added to PP
2017-01-11
Downloads
19 (#1,063,142)
6 months
8 (#549,811)
2017-01-11
Downloads
19 (#1,063,142)
6 months
8 (#549,811)
Historical graph of downloads
Author Profiles
References found in this work
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
A Routley-Meyer semantics for converse Ackermann property.José M. Méndez - 1987 - Journal of Philosophical Logic 16 (1):65 - 76.
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.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Converse Ackermann croperty and semiclassical negation.José M. Méndez - 1988 - Studia Logica 47 (2):159 - 168.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lxkd2 dc2