Theorie der Konsequenzoperationen und Grundbegriffe der Logik

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

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch

References and Relationships

• Bibliographic citation: Theorie der Konsequenzoperationen und Grundbegriffe der Logik ; volume:1 ; number:25 ; year:2011 ; pages:64-77 ; extent:14 ; Kriterion ; 1, Heft 25 (2011), 64-77 (gesamt 14)

Contributors, Places and Time

• Creator: Wallmann, Christian

Further information

• DOI: 10.1515/krt-2011-012508
• URN: urn:nbn:de:101:1-2022090314525094568360
• Rights: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 15.08.2025, 7:23 AM CEST