A Short Introduction to Intuitionistic Logic - The University Series in Mathematics
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

0306463946

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof-search

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_11 ◽

2005 ◽

pp. 75-81

Keyword(s):

Proof Search

Download Full-text

Preliminaries

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_2 ◽

2005 ◽

pp. 7-7

Download Full-text

Negative Translation: Glivenko’s Theorem

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_4 ◽

2005 ◽

pp. 23-24

Keyword(s):

Glivenko’S Theorem ◽

Negative Translation

Download Full-text

Computations with Deductions

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_6 ◽

2005 ◽

pp. 31-39

Download Full-text

Gentzen-type Propositional System LJpm

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_9 ◽

2005 ◽

pp. 53-68

Keyword(s):

Propositional System

Download Full-text

Kripke Models

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_8 ◽

2005 ◽

pp. 47-52

Keyword(s):

Kripke Models

Download Full-text

Introduction

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_1 ◽

2005 ◽

pp. 1-4

Download Full-text

Kripke Models for Predicate Logic

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_15 ◽

2005 ◽

pp. 105-108

Keyword(s):

Predicate Logic ◽

Kripke Models

Download Full-text

Program Interpretation of Intuitionistic Logic

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_5 ◽

2005 ◽

pp. 25-30

Keyword(s):

Intuitionistic Logic

Download Full-text

System LJp

A Short Introduction to Intuitionistic Logic - The University Series in Mathematics ◽

10.1007/0-306-46975-8_12 ◽

2005 ◽

pp. 83-87

Download Full-text