Publication:2753598
From MaRDI portal
zbMath0972.03524MaRDI QIDQ2753598
Publication date: 14 November 2001
03B10: Classical first-order logic
03B35: Mechanization of proofs and logical operations
03F07: Structure of proofs
03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
Related Items
Graded tableaux for Rational Pavelka Logic, First-order dialogical games and tableaux, A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux, An efficient relational deductive system for propositional non-classical logics