Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... Quantifiers -- Feedback Hyperjump -- Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Intuitionistic Logic with Classical Atoms -- Proof Identity for Classical Logic: Generalizing to Normality...”