scientific article
From MaRDI portal
Publication:2751354
zbMath1011.68125MaRDI QIDQ2751354
Publication date: 27 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (21)
Soundness and completeness proofs by coinductive methods ⋮ Constraint tableaux for two-dimensional fuzzy logics ⋮ A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux ⋮ Superposition-based equality handling for analytic tableaux ⋮ Liberalized variable splitting ⋮ Craig interpolation with clausal first-order tableaux ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ The problem of \(\Pi_{2}\)-cut-introduction ⋮ 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 ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ A Non-clausal Connection Calculus ⋮ A navigational logic for reasoning about graph properties ⋮ Optimization techniques for propositional intuitionistic logic and their implementation ⋮ Linearity and regularity with negation normal form ⋮ Machine learning guidance for connection tableaux ⋮ nanoCoP: A Non-clausal Connection Prover ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ Encoding First Order Proofs in SMT ⋮ Set of support, demodulation, paramodulation: a historical perspective
This page was built for publication:
