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 axiomatic presentation of modal systems and the standard formulations of natural
deduction and sequent calculus for modal logic are reviewed, together with the difficulties …

We extend the theory of unified correspondence to a broad class of logics with algebraic
semantics given by varieties of normal lattice expansions (LEs), also known as 'lattices with …

One of the most dominant approaches to semantics for relevant (and many paraconsistent)
logics is the Routley–Meyer semantics involving a ternary relation on points. To some …

Glut theorists maintain that some sentences are true and false-true with true negations. The
best examples of such gluts are antinomies (eg, the liar paradox). My aim here is not to …

There appears to be few, if any, limits on what sorts of logical connectives can be added to a
given logic. One source of potential limitations is the motivating ideology associated with a …

Although sequent calculi constitute an important category of proof systems, they are not as
well known as axiomatic and natural deduction systems. Addressing this deficiency, this …

Bunched logics have found themselves to be key tools in modern computer science, in
particular through the industrial-level program verification formalism Separation Logic …

Combinatory logic is one of the most versatile areas within logic that is tied to parts of
philosophical, mathematical, and computational logic. Functioning as a comprehensive …

This research monograph presents our approach to the general algebraic study of non-
classical logics. More precisely, it offers a systematic study of weakly implicative logics, a …