Sciweavers

31 search results - page 2 / 7

» Introduction to Logic

14

FUIN
2007

236views more FUIN 2007»

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

13 years 4 months ago

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

Download people.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

13

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

13 years 4 months ago

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Download dtai.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

86

Book

1569views

Introduction to Logic

15 years 4 months ago

Introduction to Logic

Download www.ii.uib.no

Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.

Micha l Walicki

posted by scimaster

Read More »

26

TLCA
2007
Springer

425views Theoretical Computer Science» more TLCA 2007»

Completing Herbelin's Programme

13 years 11 months ago

Completing Herbelin's Programme

Download w3.math.uminho.pt

Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...

José Espírito Santo

claim paper

Read More »

23

ICYCS
2008
IEEE

222views Theoretical Computer Science» more ICYCS 2008»

Introduction to the Reform on the Course of Fundamental Logic and Computer Design

13 years 11 months ago

Introduction to the Reform on the Course of Fundamental Logic and Computer Design

Download www.cs.zju.edu.cn

Qingsong Shi, Wei Hu, Sha Liu, Tianzhou Chen

claim paper

Read More »

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