1404 search results - page 3 / 281 » Complexity of admissible rules |
LOGCOM
2010
13 years 8 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 ...
APAL
2010
13 years 10 months ago
2010
IGPL
1998
13 years 9 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
A real-time system must execute functionally correct computations in a timely manner. In order to guarantee that all tasks accepted in the system will meet their timing requiremen...
MONET
2006
13 years 9 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...