Sciweavers

JOLLI
2008
84views more  JOLLI 2008»
13 years 5 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 5 months ago
A Remark on Collective Quantification
Juha Kontinen, Jakub Szymanik