Splitting through New Proposition Symbols

DOI10.1007/3-540-45653-8_12zbMath1275.03083OpenAlexW1480041003MaRDI QIDQ2996161

Hans de Nivelle

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_12

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Case splitting in an automatic theorem prover for real-valued special functions ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Deciding expressive description logics in the framework of resolution ⋮ First-Order Resolution Methods for Modal Logics ⋮ Labelled splitting ⋮ A new methodology for developing deduction methods

Uses Software

• SPASS
• Saturate