Robles, Gemma and Méndez, José M (2005) Two versions of minimal intuitionism with the CAP. A note. THEORIA. An International Journal for Theory, History and Foundations of Science, 20 (2). pp. 183-190. ISSN 2171-679X

Preview

PDF 571-672-1-PB.pdf - Published Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (216kB)

Abstract

Two versions of minimal intuitionism are defined restricting Contraction. Both are defined by means of a falsity constant F. The first one follows the historical trend, the second is the result of imposing special constraints on F. Relational ternary semantics are provided.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Published Article or Volume
Creators:	Creators Email ORCID Robles, Gemma gemm@usal.es Méndez, José M sefus@usal
Additional Information:	ISSN: 0495-4548 (print)
Keywords:	Intuitionistic logic, Contraction Axiom, Converse Ackermann Property, Constructive Falsity
Depositing User:	Users 15304 not found.
Date Deposited:	11 Mar 2014 17:42
Last Modified:	11 Mar 2014 17:42
Item ID:	10484
Journal or Publication Title:	THEORIA. An International Journal for Theory, History and Foundations of Science
Publisher:	Euskal Herriko Unibertsitatea / Universidad del País Vasco
Official URL:	http://www.ehu.es/ojs/index.php/THEORIA/article/vi...
DOI or Unique Handle:	10.1387/theoria.571
Date:	May 2005
Page Range:	pp. 183-190
Volume:	20
Number:	2
ISSN:	2171-679X
URI:	https://philsci-archive.pitt.edu/id/eprint/10484

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item