Cut Elimination for First Order Gödel Logic by Hyperclause Resolution

DOI10.1007/978-3-540-89439-1_32zbMath1182.03102OpenAlexW1564824837MaRDI QIDQ5505574

Agata Ciabattoni, Christian G. Fermüller, Matthias Baaz

Publication date: 27 January 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_32

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)

Related Items (4)

Ceres in intuitionistic logic ⋮ CERES in higher-order logic ⋮ Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination ⋮ Optimization in temporal qualitative constraint networks

This page was built for publication: Cut Elimination for First Order Gödel Logic by Hyperclause Resolution