Existence of the least and the greatest elements of a subset of the Lindenbaum algebra (Q1086230)
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: Existence of the least and the greatest elements of a subset of the Lindenbaum algebra |
scientific article; zbMATH DE number 3983156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existence of the least and the greatest elements of a subset of the Lindenbaum algebra |
scientific article; zbMATH DE number 3983156 |
Statements
Existence of the least and the greatest elements of a subset of the Lindenbaum algebra (English)
0 references
1985
0 references
The purpose of this note is to answer the following problem: Let P be a propositional letter and G(P) a formula. Does the set \(\{\) \(A|\vdash G(A)\}\) always have the least and the greatest elements unless it is empty? To be accurate, of course, the above problem must be understood in the Lindenbaum algebra. The answer is ''no'' if \(\vdash\) denotes provability in the intuitionistic logic, while ''yes'' if the classical logic is concerned with.
0 references
provability
0 references
intuitionistic logic
0 references
classical logic
0 references