Pages that link to "Item:Q3048831"
From MaRDI portal
The following pages link to SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS (Q3048831):
Displaying 9 items.
- On arithmetic complexity of certain constructive logics (Q1206242) (← links)
- Predicate logics of expressively strong theories (Q1582839) (← links)
- A semantical proof of De Jongh's theorem (Q1812961) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- A survey of predicate realizability logic (Q2510768) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Arithmetic complexity of the predicate logics of certain complete arithmetic theories (Q5957916) (← links)
