Consequence Relations

The publication of Rasiowa and Sikorski''s The Mathematics of Metamathematics (1970), Rasiowa''s An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki''s Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills th...