IEEE - Institute of Electrical and Electronics Engineers, Inc. - Technical Foundations of a DPLL-based SAT Solver for Propositional Goedel Logic

Author(s): Dusan Guller
Sponsor(s): IEEE Computational Intelligence Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Paper): 1063-6706
ISSN (Online): 1941-0034
DOI: 10.1109/TFUZZ.2016.2637374
Regular:

We provide the foundations of automated deduction in the propositional G¨odel logic. The propositional G¨odel logic is one of the simplest infinitely-valued fuzzy logics, which generalises... View More

Advertisement