Buscar
Mostrando ítems 1-10 de 1703
Para-fuzzy logic controller
(Springer, 2004-01-01)
In this paper we present a logic controller based on ideas of Fuzzy logic and Paraconsistent Annotated Logic. The combination of both logics brings a new approach to fuzzy, inconsistent and paracomplete concepts. The ...
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
Preservation by fibring of the finite model property
(Oxford Univ PressOxfordInglaterra, 2011)
The power of modal separation logics
(Oxford University Press, 2019-12)
We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. ...
To distribute or not to distribute?
(Oxford Univ PressOxfordInglaterra, 2011)
On Graph-theoretic Fibring of Logics
(Oxford Univ PressOxfordInglaterra, 2009)