Seifert Fibre Groups (SF-Gps) have been introduced and their first derived groups have been worked out in an earlier paper by the author [2,3]. Now we aim to prove that they are residually soluble and residually finite.

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

The question whether material implication is a proper translation of “if ... then ...” in conditional sentences has been known and discussed as “material implication paradox”. The source of this paradox comes from the interpretation of material implication that any falsehood, or contradiction, entails every proposition. For example, consider truth conditions of the conditional sentence (1) and ...

this research investigates the effect of the post-cure time on the residual stresses in laminated composites. laminated composites were made of t300 carbon fibers and epoxy resin. the post-cure process was carried out at the constant temperature of 120 °c for 6 and 12 hours for two specimens. the slitting method was employed to determine through-thickness residual stress distribution of the com...

In this work we have solved an open problem related to the continuity of R-implications. We have fully characterized the class of continuous R-implications obtained from any arbitrary t-norm. Using this result, we also determine the exact intersection between the continuous subsets of R-implications and (S,N)implications. Keywords— R-implication, (S,N)-implication, Łukasiewicz implication, t-norm.

We revisit the notion of probably approximately correct implication bases from the literature and present a first formulation in the language of formal concept analysis, with the goal to investigate whether such bases represent a suitable substitute for exact implication bases in practical use-cases. To this end, we quantitatively examine the behavior of probably approximately correct implicati...