Studies in Universal Logic - Sequents and Trees
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030571443, 9783030571450

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gentzen’s Sequent Calculus LK

Studies in Universal Logic - Sequents and Trees ◽

10.1007/978-3-030-57145-0_2 ◽

2020 ◽

pp. 63-112

Author(s):

Andrzej Indrzejczak

Keyword(s):

Sequent Calculus

Download Full-text

Sequent Calculi for Modal Logics

Studies in Universal Logic - Sequents and Trees ◽

10.1007/978-3-030-57145-0_4 ◽

2020 ◽

pp. 163-242

Author(s):

Andrzej Indrzejczak

Keyword(s):

Modal Logics ◽

Sequent Calculi

Download Full-text

Purely Logical Sequent Calculus

Studies in Universal Logic - Sequents and Trees ◽

10.1007/978-3-030-57145-0_3 ◽

2020 ◽

pp. 113-162

Author(s):

Andrzej Indrzejczak

Keyword(s):

Sequent Calculus

Download Full-text

Alternatives to CPL

Studies in Universal Logic - Sequents and Trees ◽

10.1007/978-3-030-57145-0_5 ◽

2020 ◽

pp. 243-299

Author(s):

Andrzej Indrzejczak

Download Full-text

Analytic Sequent Calculus for CPL

Studies in Universal Logic - Sequents and Trees ◽

10.1007/978-3-030-57145-0_1 ◽

2020 ◽

pp. 1-61

Author(s):

Andrzej Indrzejczak

Keyword(s):

Sequent Calculus

Download Full-text