Pages that link to "Item:Q5557938"
From MaRDI portal
The following pages link to A complex of problems proposed by Post (Q5557938):
Displayed 5 items.
- Translations and structure for partial propositional calculi (Q1211980) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- A note on finite axiomatization of partial propositional calculi (Q5545947) (← links)
- The equivalence of some general combinatorial decision problems (Q5556434) (← links)
- Some structure results for propositional calculi (Q5582301) (← links)