Search alternatives:
"intuitionistic logic" » "intuitionistic fuzzy"
Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... Nested Sequents -- On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems...”
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...”