fCube: An Efficient Prover for Intuitionistic Propositional Logic
From MaRDI portal
Publication:4933312
DOI10.1007/978-3-642-16242-8_21zbMath1306.68141OpenAlexW1553445265MaRDI QIDQ4933312
Camillo Fiorentini, Mauro Ferrari, Guido Fiorino
Publication date: 12 October 2010
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2434/148078
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
An Evaluation-Driven Decision Procedure for G3i ⋮ Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ A non-clausal tableau calculus for \textsc{MinSat} ⋮ Efficient SAT-based proof search in intuitionistic propositional logic ⋮ A tableaux calculus for default intuitionistic logic ⋮ fCube ⋮ SAT-based proof search in intermediate propositional logics ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
Uses Software
This page was built for publication: fCube: An Efficient Prover for Intuitionistic Propositional Logic
