Pages that link to "Item:Q2505130"
From MaRDI portal
The following pages link to Reflexive intermediate propositional logics (Q2505130):
Displaying 4 items.
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Reflexive intermediate first-order logics (Q1049753) (← links)
- Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
- Completeness and incompleteness for intuitionistic logic (Q5502819) (← links)