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 …

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 …

Publisher Summary This chapter provides an overview of the Hilbert's program. Hilbert's
program is, in the first instance, a proposal and a research program in the philosophy and …

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 …

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

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 …

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 …

Publisher Summary This chapter discusses proof theory of relevant and substructural logics,
and the model theory of these logics. The discipline of relevant logic grew out of an attempt …

I explore the question of whether the concept of relevance is relevant to the study of what
Anderson and Belnap call “relevance logic.” The answer should be “Of course!” But there …