Pages that link to "Item:Q2176405"
From MaRDI portal
The following pages link to A Lindström theorem for intuitionistic propositional logic (Q2176405):
Displaying 6 items.
- Lindenbaum and pair extension lemma in infinitary logics (Q1799275) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi (Q3727948) (← links)
- (Q3979184) (← links)
- (Q4263007) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)