Sciweavers

91 search results - page 1 / 19
» Confined modified realizability
Sort
View
68
Voted
MLQ
2010
107views more  MLQ 2010»
14 years 4 months ago
Confined modified realizability
Gilda Ferreira, Paulo Oliva
JSYML
2006
84views more  JSYML 2006»
14 years 10 months ago
Bounded modified realizability
We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The ...
Fernando Ferreira, Ana Nunes