Dušan Guller

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A \textit{DPLL} procedure with dichotomous branching for propositional product logic International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2025-01-16	Paper
Hyperresolution for Gödel logic with truth constants Fuzzy Sets and Systems	2019-10-16	Paper
Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable Studies in Computational Intelligence	2018-11-29	Paper
Automated deduction in Gödel logic ACM Transactions on Computational Logic	2018-10-24	Paper
A Generalisation of the Hyperresolution Principle to First Order Gödel Logic Studies in Computational Intelligence	2016-11-08	Paper
On the refutational completeness of signed binary resolution and hyperresolution Fuzzy Sets and Systems	2009-11-17	Paper
Binary resolution over complete residuated Stone lattices Fuzzy Sets and Systems	2009-08-28	Paper
LATIN 2004: Theoretical Informatics Lecture Notes in Computer Science	2009-05-07	Paper
Binary resolution over Boolean lattices Fuzzy Sets and Systems	2006-11-15	Paper
Erratum to ``Binary resolution over Boolean lattices Fuzzy Sets and Systems	2006-11-15	Paper
scientific article; zbMATH DE number 1980930 (Why is no real title available?)	2003-09-15	Paper
scientific article; zbMATH DE number 1841971 (Why is no real title available?)	2002-12-04	Paper

Research outcomes over time

This page was built for person: Dušan Guller