Relation lifting, with an application to the many-valued cover modality
نویسندگان
چکیده
منابع مشابه
Relation lifting, with an application to the many-valued cover modality
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations ...
متن کاملThe Many-valued Coalgebraic Cover Modality
The aim of Coalgebraic Logic is to find formalisms that allow reasoning about T-coalgebras uniformly in the functor T. Moss' seminal idea was to consider the set functor T as providing a modality ∇ T , the semantics of which is given in terms of the relation lifting of T. The latter exists whenever T preserves weak pullbacks. In joint work with Marta Bílková, Alexander Kurz and Jiří Velebil, we...
متن کاملAn Application of Automated Equational Reasoning to Many-valued Logic
In this paper we present the theorem prover SBR3 for equational logic and its application in the many-valued logic of Lukasiewicz. We give a new equational axiomatization of many-valued logic and we prove by SBR3 that it is equivalent to the classical equational presentation of such logic given by Wajsberg. We feel that our equational axiomatization of Wajsberg algebras is more suited for autom...
متن کاملINTEGRABILITY OF AN INTERVAL-VALUED MULTIFUNCTION WITH RESPECT TO AN INTERVAL-VALUED SET MULTIFUNCTION
Intervals are related to the representation of uncertainty. In this sense, we introduce an integral of Gould type for an interval-valued multifunction relative to an interval-valued set multifunction, with respect to Guo and Zhang order relation. Classicaland specific properties of this new type of integral are established and several examples and applications from multicriteria decision making...
متن کاملHow to Cover without Lifting Relations
It has by now been recognised that coalgebras of various different endofunctors can be used to give semantics to a wide range of modal logics [5] and the last decade has seen an intensive study of modal languages based on predicate liftings [10] and logical languages based on the so-called cover modality, first introduced in [8]. Given an endofunctor T ∶ Set → Set on the category of sets and fu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2013
ISSN: 1860-5974
DOI: 10.2168/lmcs-9(4:8)2013