Lectures on Mathematical Logic, Volume II
Latest Publications

TOTAL DOCUMENTS

59

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By CRC Press

9780429080265

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tautologies of Classical Quantifier Logic

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-58 ◽

2000 ◽

pp. 263-265

Download Full-text

The Variants cxqt0 of cxqt

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-52 ◽

2000 ◽

pp. 250-252

Download Full-text

The Calculi cxqt and cxqs

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-51 ◽

2000 ◽

pp. 246-249

Download Full-text

Modus Ponens Calculi for Positive Logic

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-39 ◽

2000 ◽

pp. 184-190

Keyword(s):

Modus Ponens ◽

Download Full-text

Tableaux

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-30 ◽

2000 ◽

pp. 129-135

Download Full-text

The Peirce Rule

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-29 ◽

2000 ◽

pp. 119-128

Download Full-text

The Calculi MP, MM and MJ

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-28 ◽

2000 ◽

pp. 117-118

Download Full-text

MK as a Calculus for Classical Logic

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-27 ◽

2000 ◽

pp. 111-116

Keyword(s):

Classical Logic

Download Full-text

Cut Elimination with Inversion Rules for MK

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-26 ◽

2000 ◽

pp. 107-110

Keyword(s):

Cut Elimination

Download Full-text

The Intermediary Calculi KM1, KJ1

Lectures on Mathematical Logic, Volume II ◽

10.1201/9781482283006-20 ◽

2000 ◽

pp. 80-84

Download Full-text