نتایج جستجو برای: fuzzy quantale

تعداد نتایج: 89837  

Journal: :Ann. Pure Appl. Logic 2013
Ciro Russo

In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework which is able to describe and characterize both strong and weak forms of interpretations among propositional deductive systems also in the cases where the systems have diffe...

Journal: :Order 2009
Hans Heymans Isar Stubbe

We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules and that via so-called principally generated modules. For a principally generated module satisfying a suitable symmetry condition we observe the existence of a canonical Hilbert structure. We prove that, when worki...

Journal: :CoRR 2014
Brijesh Dongol Victor B. F. Gomes Georg Struth

A principled approach to the design of program verification and construction tools is applied to separation logic. The control flow is modelled by power series with convolution as separating conjunction. A generic construction lifts resource monoids to assertion and predicate transformer quantales. The data flow is captured by concrete store/heap models. These are linked to the separation algeb...

Journal: :Int. J. Approx. Reasoning 2013
Lili Shen Dexue Zhang

This paper is concerned with the relationship between contexts, closure spaces, and complete lattices. It is shown that, for a unital quantale L, both formal concept lattices and property oriented concept lattices are functorial from the category L-Ctx of L-contexts and infomorphisms to the category L-Sup of complete L-lattices and suprema-preserving maps. Moreover, the formal concept lattice f...

2016
Walter Tholen Bob Walters

For a quantaloid Q, considered as a bicategory, Walters introduced categories enriched in Q. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing monad-quantaloid-enriched categories. We do so by making lax distributive laws of a monad T over the discrete presheaf monad of the small quantaloid Q the primary data of the theory, rather than the l...

2012
Daniela Petrişan

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...

2008
Mehrnoosh Sadrzadeh

We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. deceit. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the children are allowed to lie and cheat. Epistemic ...

2010
RICHARD N. BALL

Let κQnt be the category of of κ-quantales, quantales closed under κ-joins in which the monoid identity is the largest element. (κ is an infinite regular cardinal.) Although the lack of lattice completeness in this setting would seem to mitigate against the techniques which lend themselves so readily to the calculation of frame quotients, we show how to easily compute κQnt quotients by applying...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ارومیه 1377

fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...

2010
Christoph Schubert Gavin J. Seal

Recent investigations of lax algebras—in generalization of Barr’s relational algebras—make an essential use of lax extensions of monad functors on Set to the category Rel(V) of sets and V-relations (where V is a unital quantale). For a given monad there may be many such lax extensions, and different constructions appear in the literature. The aim of this article is to shed a unifying light on t...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید