Related papers: ($S$,$N$,$T$)-Implications
A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated to arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the…
The authors continue a series of articles studying certain unitary representations of the Richard Thompson groups $F,T,V$ called Pythagorean. They all extend to the Cuntz algebra $\mathcal{O}$ and conversely all representations of…
We involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence…
On the basis of the concept of the interval valued intuitionistic fuzzy sets introduced by K.Atanassov, the notion of interval valued intuitionistic fuzzy $H_v$-submodules of an $H_v$-module with respect to $t$-norm $T$ and $s$-norm $S$ is…
Rule mining algorithms are one of the fundamental techniques in data mining for disclosing significant patterns in terms of linguistic rules expressed in natural language. In this paper, we revisit the concept of fuzzy implicative rule to…
In this study different types of intuitionistic fuzzy continuities (IFCs) and intuitionistic fuzzy boundedness (IFBs) in intuitionistic fuzzy pseudo normed linear spaces are studied. Relations (intra and inter) on intuitionistic fuzzy…
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion}, according to which in order for some premises to have some…
We define weighted mean summability method of double sequences in intuitionistic fuzzy normed spaces($IFNS$), and obtain necessary and sufficient Tauberian conditions under which convergence of double sequences in $IFNS$ follows from their…
This paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 with varying, increasing, decreasing, and constant domains.…
For an arbitrary positive integer $n$ and a pair $(p, q)$ of coprime integers, consider $n$ copies of a torus $(p,q)$ knot placed parallel to each other on the surface of the corresponding auxiliary torus: we call this assembly a torus…
We present a fuzzy (or quantitative) version of the van Benthem theorem, which characterizes propositional modal logic as the bisimulation-invariant fragment of first-order logic. Specifically, we consider a first-order fuzzy predicate…
The clausal logical consequences of a formula are called its implicates. The generation of these implicates has several applications, such as the identification of missing hypotheses in a logical specification. We present a procedure that…
We explore a fuzzy modal logic that can formalise probabilistic reasoning about actions and knowledge. In particular, we deal with contexts involving statements about events expressed via modal formulas, e.g., "after doing $a$, the…
It is worth noticing that a fuzzy conjunction and its corresponding fuzzy implication can form a residual pair if and only if it is left-continuous. In order to get a more general result related on residual implications that induced by…
We consider the notions of $L_{\infty}$-, $P_{\infty}$-, and $S_{\infty}$-algebras (including "shifted" versions) in the $\mathbb{Z}_2 \times \mathbb{Z}$-graded setting. We also consider thick (microformal) morphisms and show how they work…
In this article we determine the implicational fragments of most of the known subintuitionistic logics.
A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implications of the introduction of this class are considered.…
In this contribution, our motive is to unify the categories associated with F-transforms and fuzzy pretopological spaces as a new category Qua, whose object classes are success measurements of answers and morphisms are pairs of success…
The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p…
This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is…