Consequence relations : an introduction to the Lindenbaum-Tarski method /
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Oxford :
Oxford University Press,
[2022]
|
| Series: | Oxford logic guides.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- 1 Introduction
- 2 Preliminaries
- 3 Sentential Formal Languages and Their Interpretation
- 4 Logical Consequence
- 5 Matrix Consequence
- 6 Unital Abstract Logics
- 7 Equational Consequence
- 8 Equational L-Consequence
- 9 Q-Consequence
- 10 Decidability