Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

JSYML
2006

favoriteEmaildiscussreport

84views more JSYML 2006»

Bounded modified realizability

13 years 4 months ago

Bounded modified realizability

Download www.ciul.ul.pt

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 novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak K

Fernando Ferreira, Ana Nunes

Real-time Traffic

JSYML 2006 | Lesser Limited Principle | Precise Witnesses | Realizability |

claim paper

Related Content

» Modified Realizability Interpretation of Classical Linear Logic

» Modified Realizability Toposes and Strong Normalization Proofs

» Proving Strong Normalization of CC by Modifying Realizability Semantics

» A Modified RunLength Coding for the Realization of Waveletbased ECG Data Compression Syste...

» Confined modified realizability

» Error bound between monotone difference schemes and their modified equations

» Modified bar recursion

» Realization of RF Distance Bounding

» An asymptotically tight bound on the number of connected components of realizable sign con...

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JSYML
Authors	Fernando Ferreira, Ana Nunes

Comments (0)