Abstract
We give an elementary introduction into the theory of consequence operations. We proof some elementary results concerning basic notions of logic like tautology, consistency, independence and completeness. We show in particular that every finite axiomatizable set is independent axiomatizable and that every consistent set has relative to a finitary consequence operation a maximal consistent extension. Finally we provide an abstract semantics for consequence operations.
| Translated title of the contribution | Theory of consequence operations and basic notions of logic |
|---|---|
| Original language | German |
| Pages (from-to) | 64-77 |
| Number of pages | 14 |
| Journal | Kriterion (Austria) |
| Volume | 25 |
| Issue number | 1 |
| Publication status | Published - 2011 |
| Externally published | Yes |