A method to single out maximal propositional logics with the disjunction property. I (Q1902974)
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: A method to single out maximal propositional logics with the disjunction property. I |
scientific article; zbMATH DE number 823456
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A method to single out maximal propositional logics with the disjunction property. I |
scientific article; zbMATH DE number 823456 |
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
