Sciweavers

50 search results - page 6 / 10

» cie 2006

25

CIE
2006
Springer

111views Applied Computing» more CIE 2006»

LJQ: A Strongly Focused Calculus for Intuitionistic Logic

14 years 1 months ago

LJQ: A Strongly Focused Calculus for Intuitionistic Logic

Download www.cs.st-andrews.ac.uk

LJQ is a focused sequent calculus for intuitionistic logic, with

Roy Dyckhoff, Stéphane Lengrand

claim paper

Read More »

22

CIE
2006
Springer

71views Applied Computing» more CIE 2006»

From Constructibility and Absoluteness to Computability and Domain Independence

14 years 1 months ago

From Constructibility and Absoluteness to Computability and Domain Independence

Download www.math.tau.ac.il

G

Arnon Avron

claim paper

Read More »

22

CIE
2006
Springer

70views Applied Computing» more CIE 2006»

FILA in gameland, a holistic approach to a problem of many dimensions

13 years 9 months ago

FILA in gameland, a holistic approach to a problem of many dimensions

Download nrlweb.cs.ucla.edu

Stefano Ferretti, Claudio E. Palazzi, Marco Roccet...

claim paper

Read More »

19

CIE
2006
Springer

82views Applied Computing» more CIE 2006»

Deep Inference and Its Normal Form of Derivations

14 years 1 months ago

Deep Inference and Its Normal Form of Derivations

Download www.iam.unibe.ch

Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...

Kai Brünnler

claim paper

Read More »

19

CIE
2006
Springer

98views Applied Computing» more CIE 2006»

Complexity-Theoretic Hierarchies

14 years 1 months ago

Complexity-Theoretic Hierarchies

Download folk.uio.no

We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G

Lars Kristiansen

claim paper

Read More »

« Prev « First page 6 / 10 Last » Next »