Skip to search formSkip to main contentSkip to account menu

Method of analytic tableaux

Known as: Truth-tree, Tableau, Tableau proof 
In proof theory, the semantic tableau (French pronunciation: ​[ta'blo]; singular: tableau; plural: tableaux), also called truth tree, is a decision… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
Atomic formulaAutomated theorem provingClause (logic)De Morgan's laws

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
An Optimal Decision Procedure for Right Propositional Neighborhood Logic
Propositional interval temporal logics are quite expressive temporal logics that allow one to naturally express statements that… 
2007
2007
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
In this paper we focus our attention on the decision problem for Propositional Neighborhood Logic (PNL for short). PNL is the… 
Review
2004
Review
2004
Living Book – Deduction, Slicing, and Interaction
Living Book is a system for the management of personalized and scenario-specific teaching material. The main goal of the system… 
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
Highly Cited
1993
Highly Cited
1993
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux
In this paper we have a closer look at one of the rules of the tableau calculus presented in [3], called the δ-rule, and the… 
1991
1991
Fuzzy goal programming in forestry: an application with special solution problems
Highly Cited
1985
Highly Cited
1985
Invertebres marins du lagon neo-caledonien-V: Isolement et identification des metabolites d'une nouvelle espece de spongiaire, pseudaxinyssa cantharella
Highly Cited
1977
Highly Cited
1977
Symbolic analysis of analog and digital circuits
An efficient computer method for symbolic analysis of linear analog and digital circuits is described. The tableau formulation is… 
Highly Cited
1962
Highly Cited
1962
Observations on the sprouting of seed potatoes
SummaryThe sprouting of seed potatoes and the influence of temperature on this is analysed by means of a large number of… 
1962
1962
The physiological degeneration of potato seed tubers and its control
Summary1.After starting independent life, the potato tuber exhibits its own growth characteristics according to each stage in the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)