e/Method of analytic tableaux

Information
has gloss	eng: In proof theory, the semantic tableau is a decision procedure for sentential and related logics, and a proof procedure for formulas of first-order logic. The tableau method can also determine the satisfiability of finite sets of formulas of various logics. It is the most popular proof procedure for modal logics (Girle 2000).
lexicalization	eng: Method of analytic tableaux
instance of	c/Logical calculi

Meaning
German
has gloss	deu: Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth-Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments beweisen, sondern die dessen Ungültigkeit widerlegen; ein anderer, sehr bekannter Widerlegungskalkül ist der Resolutionskalkül.
lexicalization	deu: Baumkalkül
Dutch
has gloss	nld: Een semantisch tableau is een manier om in de logica op systematische wijze het gedrag van een logische stelling of formule te onderzoeken. Semantische tableaus worden vooral gebruikt om te onderzoeken of een stelling volgt uit een reeks andere stellingen, dat wil zeggen of een stelling per definitie waar is, gegeven dat een aantal andere stelling waar is. Onder het kopje [#bewijs uit het ongerijmde] wordt dit verder toegelicht. Het semantisch tableau is een schepping van de Nederlandse logicus Evert Willem Beth.
lexicalization	nld: semantisch tableau

Media
media:img	First-order tableau with unification.svg
media:img	First-order tableau.svg
media:img	Non-closed propositional tableau.svg
media:img	Partially built tableau-1-.svg
media:img	Partially built tableau.svg
media:img	Prop-tableau-1.svg
media:img	Prop-tableau-2.svg
media:img	Prop-tableau-3.svg
media:img	Prop-tableau-4.svg
media:img	Search tree of tableau space.svg