Sciweavers

JOLLI
2008
84views more  JOLLI 2008»
13 years 11 months ago
The basic constructive logic for a weak sense of consistency
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...
Gemma Robles, José M. Méndez
JOLLI
2008
52views more  JOLLI 2008»
13 years 11 months ago
A Remark on Collective Quantification
Juha Kontinen, Jakub Szymanik