Search Sciweavers | Sciweavers

81 search results - page 7 / 17

» mlq 2006

Voted

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

15 years 2 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

Voted

MLQ
2006

68views more MLQ 2006»

Envelopes, indicators and conservativeness

15 years 3 months ago

Download www.cs.us.es

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

claim paper

Read More »

126

click to vote

MLQ
2002

100views more MLQ 2002»

Extensionality Versus Constructivity

15 years 3 months ago

Download www.math.unipd.it

We will analyze some extensions of Martin-L

Silvio Valentini

claim paper

Read More »

112

Voted

MLQ
2006

92views more MLQ 2006»

The strength of sharply bounded induction

15 years 3 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

15 years 3 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

Sciweavers