Search Sciweavers | Sciweavers

81 search results - page 7 / 17

» mlq 2006

click to vote

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

13 years 6 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

click to vote

MLQ
2006

68views more MLQ 2006»

Envelopes, indicators and conservativeness

13 years 7 months ago

Download www.cs.us.es

Andrés Cordón-Franco, Alejandro Fern...

claim paper

Read More »

click to vote

MLQ
2002

100views more MLQ 2002»

Extensionality Versus Constructivity

13 years 7 months ago

Download www.math.unipd.it

We will analyze some extensions of Martin-L

Silvio Valentini

claim paper

Read More »

click to vote

MLQ
2006

92views more MLQ 2006»

The strength of sharply bounded induction

13 years 7 months ago

Download www.math.cas.cz

We prove that the sharply bounded arithmetic T0 2 in a language containing the function symbol x

Emil Jerábek

claim paper

Read More »

click to vote

MLQ
2006

68views more MLQ 2006»

On the proof theory of type two functionals based on primitive recursive operations

13 years 7 months ago

Download www.iam.unibe.ch

This paper is a companion to work of Feferman, J

David Steiner, Thomas Strahm

claim paper

Read More »

« Prev « First page 7 / 17 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers