Recent literature has highlighted the extent to which inflectional paradigms are organisedinto systems of implications allowing speakers make full use inflection systemon basis exposure only a few forms each word. The present paper contributesto this line research by investigating in detail implicative structure EuropeanPortuguese verbal paradigms. After outlining computational methods we thate...
In this paper, by using the concept of belongingness (∈) and quasi-coincidence (q) between fuzzy points and fuzzy sets, we introduce (α, β)-fuzzy positive implicative ideals in BCK-algebras where α, β are any of {∈, q, ∈ ˅ q, ∈ ˄ q} with α ≠ ∈ ˄ q.
Given an intuitionistic proof net of linear logic, we abstract an order between its atomic formulas. From this order, we represent intuitionistic multiplicative proof nets in the more compact form of models of directed acyclic graph descriptions. If we restrict the logical framework to the implicative fragment of intuitionistic linear logic, we show that proof nets reduce to models of tree desc...
s. motamed department of mathematics, bandar abbas branch, islamic azad university, bandar abbas, iran.
in this paper, the notion of the radical of a filter in residuated lattices is defined and several characterizations of the radical of a filter are given. we show that if f is a positive implicative filter (or obstinate filter), then rad(f)=f. we proved the extension theorem for radical of filters in residuated lattices. also, we study the radical of filters in linearly o...
