scientific article
From MaRDI portal
Publication:2753598
zbMath0972.03524MaRDI QIDQ2753598
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (7)
A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux ⋮ Craig interpolation with clausal first-order tableaux ⋮ First-order dialogical games and tableaux ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ Graded tableaux for Rational Pavelka Logic ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
This page was built for publication:
