Search alternatives:
analytic tableau » analytic tableaux, analytical table
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... into the Disconnection Calculus -- Analytic Sequent Calculi for Abelian and ?ukasiewicz Logics -- Analytic Tableau...”
Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: Connecting Entailment and Generation -- An Analytic Tableau System for Natural Logic -- The Data Complexity...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Analytic Tableau Calculi for KLM Rational Logic R -- On the Semantics of Logic Programs...”