Notice that, despite its familiarity,(V) does not give us a complete account of logical
consequence. To construct a logic we need an accurate and systematic account of which …

This comprehensive text demonstrates how various notions of logic can be viewed as
notions of universal algebra. It is aimed primarily for logisticians in mathematics, philosophy …

The title of this piece is not 'A Survey of Relevance Logic'. Such a project was impossible in
the mid 1980s when the first version of this article was published, due to the development of …

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 …

This article introduces, studies, and applies a new system of logic which is called 'HYPE'. In
HYPE, formulas are evaluated at states that may exhibit truth value gaps (partiality) and truth …

The present monograph is a slightly revised version of my Habilitations schrift Proof-
theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig …

There are different treatments of the semantics of negation in non-classical logics, the most
familiar of which is probably the Kripke definition of negation for intuitionistic logic. In two …

This paper presents an embedding of ontologies expressed in the ALC description logic into
a realvalued vector space, comprising restricted existential and universal quantifiers, as well …

Nonclassical logics have played an increasing role in recent years in disciplines ranging
from mathematics and computer science to linguistics and philosophy. _Generalized Galois …

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 …