Automated Deduction in Gödel Logic

DOI10.1145/3218817zbMATH Open1407.03012OpenAlexW2890827357WikidataQ130836235 ScholiaQ130836235MaRDI QIDQ4691737

Dušan Guller

Publication date: 24 October 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3218817

zbMATH Keywords

computational complexitymany-valued logicshyperresolution

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Related Items (4)

Automated deduction with associative-commutative operators ⋮ Title not available (Why is that?) ⋮ Automated search for Gödel's proofs ⋮ A \textit{DPLL} procedure with dichotomous branching for propositional product logic

This page was built for publication: Automated Deduction in Gödel Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4691737)