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 ...

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...