Pages that link to "Item:Q4842626"
From MaRDI portal
The following pages link to The decidability of dependency in intuitionistic propositional logic (Q4842626):
Displaying 6 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Explicating logical independence (Q2301324) (← links)
- CLASSICALLY ARCHETYPAL RULES (Q4577996) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
