1549 search results - page 11 / 310 » On the rules of intermediate logics |
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
LOGCOM
2010
13 years 7 months ago
2010
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Lukasiewicz logic, and we prove that every formula has an admissibly sat...
LOGCOM
2010
13 years 7 months ago
2010
We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity ...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
WILF
2007
Springer
14 years 2 months ago
2007
Springer