Tableaux and related methods
From MaRDI portal
Recommendations
Cited in
(46)- Analysis of objects on the basis of an ``interacting table system
- The problem of \(\Pi_{2}\)-cut-introduction
- Rule refinement for semantic tableau calculi
- A navigational logic for reasoning about graph properties
- Machine learning guidance for connection tableaux
- Learning from Łukasiewicz and Meredith: investigations into proof structures
- Set of support, demodulation, paramodulation: a historical perspective
- Constraint tableaux for two-dimensional fuzzy logics
- A shifted analogue to ribbon tableaux
- Soundness and completeness proofs by coinductive methods
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- Reasoning on UML class diagrams
- Craig interpolation with clausal first-order tableaux
- nanoCoP: a non-clausal connection prover
- Encoding first order proofs in SMT
- A Seligman-Style Tableau System
- Empirical investigation on combining tableaux and resolution
- Synthesising terminating tableau calculi for relational logics (invited paper)
- A Non-clausal Connection Calculus
- scientific article; zbMATH DE number 3850303 (Why is no real title available?)
- Tableaux for Lattices
- New Lilliefors and Srinivasan tables with applications
- scientific article; zbMATH DE number 4110916 (Why is no real title available?)
- Semantics and proof-theory of depth bounded Boolean logics
- scientific article; zbMATH DE number 45492 (Why is no real title available?)
- scientific article; zbMATH DE number 1735899 (Why is no real title available?)
- scientific article; zbMATH DE number 1088202 (Why is no real title available?)
- scientific article; zbMATH DE number 1552522 (Why is no real title available?)
- scientific article; zbMATH DE number 1552523 (Why is no real title available?)
- scientific article; zbMATH DE number 1552525 (Why is no real title available?)
- scientific article; zbMATH DE number 1748583 (Why is no real title available?)
- scientific article; zbMATH DE number 1395652 (Why is no real title available?)
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Automated Reasoning with Analytic Tableaux and Related Methods
- Edges and tableaux
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Range-restricted and Horn interpolation through clausal tableaux
- Lemmas: generation, selection, application
- Linearity and regularity with negation normal form
- Dual tableaux. Foundations, methodology, case studies
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
- Superposition-based equality handling for analytic tableaux
- Liberalized variable splitting
- Tableau complexes
- Optimization techniques for propositional intuitionistic logic and their implementation
This page was built for publication: Tableaux and related methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751354)
