In traditional logic, contradictoriness (the presence of contradictions in a theory or in a body
of knowledge) and triviality (the fact that such a theory entails all possible consequences) …

Negation is in the first place a phenomenon of semantic opposition. As such, negation
relates an expression\(e\) to another expression with a meaning that is in some way …

The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …

A kind of a bi-intuitionistic propositional logic is introduced that combines verification and its
dual. This logic, 2Int, is motivated by a certain dualization of the natural deduction rules for …

I propose a comprehensive account of negation as a modal operator, vindicating a moderate
logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility …

The central themes of this book are certain non-classical logical systems, their philosophical
motivation, and the meanings of their constants. My point of departure is the general …

The aim of this paper is to obtain a theoretical foundation of inconsistency-tolerant (or
paraconsistent) reasoning by presenting a comprehensive study of the structural proof …

This paper presents an enrichment of the Gabbay–Woods schema of Peirce's 1903 logical
form of abduction with illocutionary acts, drawing from logic for pragmatics and its resources …

The possibility of increasing the efficiency of research work of students by introducing
specialized web applications for group work and presentation of research results is …

Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic
is to take a well-known negation, for example, Boolean negation or de Morgan negation …