A Resolution Mechanism for Prenex Gödel Logic

DOI10.1007/978-3-642-15205-4_9zbMath1238.03022OpenAlexW1605633286MaRDI QIDQ3586034

Christian G. Fermüller, Matthias Baaz

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_9

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items (2)

A Generalisation of the Hyperresolution Principle to First Order Gödel Logic ⋮ Hyperresolution for Gödel logic with truth constants

This page was built for publication: A Resolution Mechanism for Prenex Gödel Logic