Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Model theory / Non-classical logic / Logic in computer science / Predicate logic / First-order logic / Boolean satisfiability problem / Gdel numbering / Many-valued logic / Kripke semantics


First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b
Add to Reading List

Document Date: 2014-04-03 01:14:57

Open Document

File Size: 240,83 KB

Share Result on Facebook