MPG.eBooks - Search Results - "intuitionistic logic"

Search alternatives:
"intuitionistic logic" » "intuitionistic fuzzy"

Cover Image

1

Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Table of Contents: “...-sequent proofs -- A connection based proof method for intuitionistic logic -- Tableau for intuitionistic...”

Cover Image

2

Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... and Intuitionistic Logic (System Descriptions) -- iProver – An Instantiation-Based Theorem Prover for First-Order...”