Proof Theory and Algebra in Logic - Short Textbooks in Logic
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Singapore

9789811379963, 9789811379970

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deducibility and Axiomatic Extensions

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_5 ◽

2019 ◽

pp. 61-73

Author(s):

Hiroakira Ono

From Algebra to Logic

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_6 ◽

2019 ◽

pp. 77-95

Author(s):

Hiroakira Ono

Modal and Substructural Logics

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_4 ◽

2019 ◽

pp. 47-60

Author(s):

Hiroakira Ono

Keyword(s):

Substructural Logics

Proof-Theoretic Analysis of Logical Properties

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_3 ◽

2019 ◽

pp. 35-46

Author(s):

Hiroakira Ono

Keyword(s):

Theoretic Analysis

Cut Elimination for Sequent Systems

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_2 ◽

2019 ◽

pp. 23-33

Author(s):

Hiroakira Ono

Keyword(s):

Cut Elimination ◽

Sequent Systems

Sequent Systems

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_1 ◽

2019 ◽

pp. 3-22

Author(s):

Hiroakira Ono

Keyword(s):

Sequent Systems

Residuated Structures

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_9 ◽

2019 ◽

pp. 129-138

Author(s):

Hiroakira Ono

Keyword(s):

Residuated Structures

Modal Algebras

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_10 ◽

2019 ◽

pp. 139-149

Author(s):

Hiroakira Ono

Keyword(s):

Modal Algebras

Logics and Varieties

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_8 ◽

2019 ◽

pp. 113-128

Author(s):

Hiroakira Ono

Basics of Algebraic Logic

Proof Theory and Algebra in Logic - Short Textbooks in Logic ◽

10.1007/978-981-13-7997-0_7 ◽

2019 ◽

pp. 97-111

Author(s):

Hiroakira Ono

Keyword(s):

Algebraic Logic