A method to single out maximal propositional logics with the disjunction property. I (Q1902974)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A method to single out maximal propositional logics with the disjunction property. I |
scientific article |
Statements
A method to single out maximal propositional logics with the disjunction property. I (English)
0 references
16 January 1996
0 references
Infinitely many maximal intermediate propositional logics with the disjunction property, extending the logic of Scott \[ \text{SL = Int + } \bigl( (\neg \neg A \to A) \to A \vee \neg A \bigr) \to \neg A \vee \neg \neg A \] are constructed.
0 references
intermediate logic
0 references
disjunction property
0 references
0 references
0 references
0 references
0 references
