0

We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.

The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion a dual hemimorphism. In this paper, we focus on from logical point view. paper presents extensive investigation logic corresponding to and its axiomatic extensions, along with equally universal algebraic study their semantics. Firstly, present Hilbert-style axio...

Most normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not always preserve either tautologies or contradictions which are fundamental for automatic theorem provers based on refutation methods. De Morgan implicative systems are triples like the De Morgan system, but considering fuzzy implications instead of t-conorms. These s...

in this paper, countable compactness and the lindel¨of propertyare defined for l-fuzzy sets, where l is a complete de morgan algebra. theydon’t rely on the structure of the basis lattice l and no distributivity is requiredin l. a fuzzy compact l-set is countably compact and has the lindel¨ofproperty. an l-set having the lindel¨of property is countably compact if andonly if it is fuzzy compact. ...

In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...

In the paper, the notion of a contact relation on de Morgan algebra is defined, the algebraic structure of all contact relations and the connection to the set of all close, reflexive and symmetric relations on all maximal filters are investigated. 2010 AMS Classification: 06D30, 06F30, 54E05, 54H12

It is shown that a random restriction leaving only a fraction " of the input variables unassigned reduces the expected de Morgan formula size of the induced function by a factor of O(" 5? p 3 2) = O("

1077-3142/$ see front matter 2013 Elsevier Inc. A http://dx.doi.org/10.1016/j.cviu.2013.03.003 q This paper has been recommended for acceptance ⇑ Corresponding author. E-mail address: [email protected] (V. Is 1 V. Israel-Jost is now with IHPST, Paris 1, PanthéonIn this paper, we propose a method to extend the multi-phase piecewise-constant segmentation method of Mumford and Shah to t...