Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal...

The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory...

This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic. An account of the commutator operation associated with equational...