Partial functions are abundant in mathematics and program specifications. Unfortunately, their importance has been mostly ignored in automated theorem proving. In this paper, we develop a theorem proving strategy for Partial Classical Logic (PCL). Proof search takes place in Kleene Logic. We show that PCL theories can be translated into equivalent sets of formulas in Kleene logic. For proof sea...

Łukasiewicz three-valued logic Ł3 is often understood as the set of 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using D...

in this paper, the notions of $(t,s)$-composition matrix and$(t,s)$-interval-valued intuitionistic fuzzy equivalence matrix areintroduced where $(t,s)$ is a dual pair of triangular module. theyare the generalization of composition matrix and interval-valuedintuitionistic fuzzy equivalence matrix. furthermore, theirproperties and characterizations are presented. then a new methodbased on $tilde{...

We study L-categories of lattice-valued convergence spaces. Suchcategories are obtained by fuzzifying" the axioms of a lattice-valued convergencespace. We give a natural example, study initial constructions andfunction spaces. Further we look into some L-subcategories. Finally we usethis approach to quantify how close certain lattice-valued convergence spacesare to being lattice-valued topologi...

Let G = (V,E) be a locally finite graph, i.e. a graph in which every vertex has finitely many adjacent vertices. In this paper, we associate a topology to G, called graphic topology of G and we show that it is an Alexandroff topology, i.e. a topology in which intersec- tion of every family of open sets is open. Then we investigate some properties of this topology. Our motivation is to give an e...

This article surveys recent progress of results in topology and dynamics based on techniques of closed one-forms. Our approach allows us to draw conclusions about properties of flows by studying ho-motopical and cohomological features of manifolds. More specifically we describe a Lusternik-Schnirelmann type theory for closed one-forms, the focusing effect for flows and the theory of Lyapunov on...

in this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them.  and we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. also, we prove that  right and product stabilizers are filters and if they are ...

This paper is devoted to consider the notions of complementary problem (CP) and set-valued complementary problem (SVCP). The set-valued complementary problem is compared with the classical single-valued complementary problem. Also, the solution set of the set-valued complementary problem is characterized. Our results illustrated by some examples. This paper is devoted to co...

This article surveys recent progress of results in topology and dynamics based on techniques of closed one-forms. Our approach allows us to draw conclusions about properties of flows by studying ho-motopical and cohomological features of manifolds. More specifically we describe a Lusternik-Schnirelmann type theory for closed one-forms, the focusing effect for flows and the theory of Lyapunov on...