Theory of consequence operations and basic notions of logic

Research output: Contribution to journalReview articlepeer-review

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 contributionTheory of consequence operations and basic notions of logic
Original languageGerman
Pages (from-to)64-77
Number of pages14
JournalKriterion (Austria)
Volume25
Issue number1
Publication statusPublished - 2011
Externally publishedYes

Fingerprint Dive into the research topics of 'Theory of consequence operations and basic notions of logic'. Together they form a unique fingerprint.

Cite this