Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,610,140 papers from all fields of science
Search
Sign In
Create Free Account
Method of analytic tableaux
Known as:
Truth-tree
, Tableau
, Tableau proof
Expand
In proof theory, the semantic tableau (French pronunciation: [ta'blo]; singular: tableau; plural: tableaux), also called truth tree, is a decision…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Atomic formula
Automated theorem proving
Clause (logic)
De Morgan's laws
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Some Computational Results on MPI Parallel Implementation of Dense Simplex Method
El-Said Badr
,
M. Moussa
,
K. Paparrizos
,
N. Samaras
,
Angelo Sifaleras
2008
Corpus ID: 12388397
There are two major variants of the Simplex Algorithm: the revised method and the standard, or tableau method. Today, all serious…
Expand
2007
2007
Simplex Method for Fuzzy Variable Linear Programming Problems
S. Nasseri
,
E. Ardil
2007
Corpus ID: 33275568
— Fuzzy linear programming is an application of fuzzy set theory in linear decision making problems and most of these problems…
Expand
2001
2001
Light harvesting in brown algae
L. Caron
,
D. Douady
,
A. de Martino
,
Michelle Quinet
2001
Corpus ID: 53358579
Les complexes pigments-proteines qui assurent la collecte de l'energie chez les algues brunes sont intramembranaires. Ils…
Expand
1998
1998
Les inhumations de Bos au Sahara méridional au Néolithique
F. Paris
1998
Corpus ID: 193655734
Les sepultures de bovins sont assez peu connues au Sahara. Elles sont essentiellement localisees dans sa bordure meridionale, au…
Expand
1996
1996
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
Giuseppe De Giacomo
,
F. Massacci
CADE
1996
Corpus ID: 11315551
This paper presents a prefixed tableaux calculus for Propositional Dynamic Logic with Converse based on a combination of…
Expand
Review
1994
Review
1994
Theory Reasoning in First Order Calculi
U. Furbach
Workshop on Information Systems and Artificial…
1994
Corpus ID: 37787911
Building in special theories into first order calculi is used in various applications of deduction to increase efficiency of…
Expand
1984
1984
Casale (A.) et Laneyrie (R.). — Trechodinae et Trechinae du Monde. Tableau des sous familles, tribus, séries phylétiques, genres, et catalogue général des espèces, 1982. Tome IX
L. Genest
1984
Corpus ID: 165065163
1978
1978
Logic and philosophy: A modern introduction
Howard Kahane
1978
Corpus ID: 123551462
Preface to the Eleventh Edition. Preface to the Tenth Edition. 1. Introduction. The Elements of an Argument. Deduction and…
Expand
1966
1966
The distribution of healthy and blighted tubers in potato ridges
J. Lacey
European Potato Journal
1966
Corpus ID: 602057
SummaryMaps were made of the distributions of tubers of plants of 15 potato varieties growing in the field. Although distribution…
Expand
1962
1962
The physiological degeneration of potato seed tubers and its control
K. Kawakami
European Potato Journal
1962
Corpus ID: 34519885
Summary1.After starting independent life, the potato tuber exhibits its own growth characteristics according to each stage in the…
Expand