Search Sciweavers | Sciweavers

483 search results - page 15 / 97

» Intuitionistic hybrid logic

click to vote

JAR
2007

62views more JAR 2007»

The ILTP Problem Library for Intuitionistic Logic

15 years 5 months ago

Download www.cs.uni-potsdam.de

Thomas Raths, Jens Otten, Christoph Kreitz

claim paper

Read More »

129

click to vote

IANDC
2000

70views more IANDC 2000»

Structural Cut Elimination: I. Intuitionistic and Classical Logic

15 years 5 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

127

click to vote

AML
1998

93views more AML 1998»

Normal deduction in the intuitionistic linear logic

15 years 5 months ago

Download csli-publications.stanford.edu

A natural deduction system NDIL described here admits normalization and has subformula prop

Grigori Mints

claim paper

Read More »

120

click to vote

IGPL
2010

82views more IGPL 2010»

Multimodal and intuitionistic logics in simple type theory

15 years 4 months ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Lawrence C. Paulson

claim paper

Read More »

103

click to vote

CORR
2009
Springer

62views Education» more CORR 2009»

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers