This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass— the class of weakly implicativ...

The aim of this paper is to introduce the notion of (∈,∈∨ q)-fuzzy (implicative, MV and G-) filters of pseudo-BL algebras and to investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) filters are derived. The relationship among these generalized fuzzy filters of pseudo-BL algebras is considered. It is proved that an (∈,∈ ∨q)-fuzzy f...

A simple method is described, to prove some theorems for simple hyper K-algebras and to study positive implicative hyper K-ideals, weak (implicative ) hyper K-ideals in simple hyper K-algebras . Beside, some results on positive implicative and (weak) implicative simple hyper K-algebras are presented. Finally classification of simple hyper Kalgebras of order 4, which are satisfied in conditions ...

Let A := (A,→, 1) be a Hilbert algebra. The monoid of all unary operations on A generated by operations αp : x → (p → x), which is actually an upper semilattice w.r.t. the pointwise ordering, is called the adjoint semilattice of A. This semilattice is isomorphic to the semilattice of finitely generated filters of A, it is subtractive (i.e., dually implicative), and its ideal lattice is isomorph...

We show that an ideal I of an MV -algebra A is linearly ordered if and only if every non-zero element of I is a molecule. The set of molecules of A is contained in Inf(A) ∪ B2(A) where B2(A) is the set of all elements x ∈ A such that 2x is idempotent. It is shown that I = {0} is weakly essential if and only if B⊥ ⊂ B(A). Connections are shown among the classes of ideals that have various combin...

This paper complements a series of works on implicative verbs such as manage to and fail to. It extends the description of simple implicative verbs to phrasal implicatives as take the time to and waste the chance to. It shows that the implicative signatures of verb-noun collocations depend both on the semantic type of the verb and the semantic type of the noun in a systematic way.

We present a manually constructed seed lexicon encoding the inferential profiles of French event selecting predicates across different uses. The inferential profile (Karttunen, 1971a) of a verb is designed to capture the inferences triggered by the use of this verb in context. It reflects the influence of the clause-embedding verb on the factuality of the event described by the embedded clause....

In this paper, we introduce the notion of (implicative) neutrosophic filters in BE-algebras. The relation between implicative neutrosophic filters and neutrosophic filters is investigated and we show that in self distributive BEalgebras these notions are equivalent.