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 …

We present and defend the Australian Plan semantics for negation. This is a comprehensive
account, suitable for a variety of different logics. It is based on two ideas. The first is that …

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 …

In this paper, we discuss J. Michael Dunn's foundational work on the semantics for First
Degree Entailment logic (FDE), also known as Belnap–Dunn logic (or Sanjaya–Belnap …

Abstract Fine (J Philos Logic 46 (6): 625–674, 2017) develops a unilateral and a bilateral
truthmaker semantics for propositional logic. The unilateral approach trades off the primitive …

We give a proof-theoretic as well as a semantic characterization of a logic in the signature
with conjunction, disjunction, negation, and the universal and existential quantifiers that we …

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 …

After observing that the truth conditions of connectives of non–classical logics are generally
defined in terms of formulas of first–order logic, we introduce 'protologics', a class of logics …

This paper deals with some criticism that has been put forward against strong, constructive
negation in comparison to a certain example of Galois connected negations. The general …