We present an analysis of implicative verbs, complementtaking verbs which induce entailment-like inferences, but which are also claimed to trigger presuppositions. What is presupposed, however, is much more variable than with e.g. factive verbs. Sketching a formal treatment in Logical Description Grammar we consider the role of pragmatic reasoning and accommodation in deriving these presupposit...

In this paper, we consider a set of quite interesting three- and four-valued logics prove the normalisation theorem for their natural deduction formulations. Among in question are Logic Paradox, First Degree Entailment, Strong Kleene logic, some implicative extensions, including RM3 RM3⊃. Also, present detailed version Prawitz’s proof Nelson’s logic N4 its extension by intuitionist negation.

Within the program of finding axiomatizations for various parts of computability logic, an earlier article proved that the logic of interactive Turing reduction is exactly the implicative fragment of Heyting's intuitionistic calculus. That sort of reduction permits unlimited reusage of the computational resource represented by the antecedent. An at least equally basic and natural sort of algori...

A b s t r a c t. The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene's logics (strong, weak, intermediate) and it's extensions by adding an implicative connectives (" natural " implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics. In this paper...