On decidable consequence operators (Q1088981)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On decidable consequence operators |
scientific article; zbMATH DE number 4002075
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On decidable consequence operators |
scientific article; zbMATH DE number 4002075 |
Statements
On decidable consequence operators (English)
0 references
1986
0 references
The main theorem says that a consequence operator is an effective part of the consequence operator for the classical propositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.
0 references
closure space
0 references
closure operator
0 references
effective part
0 references
compactness
0 references
finitely axiomatizable theory
0 references
