Pages that link to "Item:Q5654019"
From MaRDI portal
The following pages link to Applications of trees to intermediate logics (Q5654019):
Displaying 16 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- Applications of Kripke models to Heyting-Brouwer logic (Q1239313) (← links)
- On Kreisel's notion of validity in Post systems (Q1240221) (← links)
- Directed frames (Q1264137) (← links)
- A study of intermediate predicate logics (Q1843560) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Henkin’s Completeness Proof and Glivenko’s Theorem (Q3454815) (← links)
- Annual Meeting of the Association for Symbolic Logic (Q3689157) (← links)
- On the proof theory of the intermediate logic MH (Q3781073) (← links)
- A new version of Beth semantics for intuitionistic logic (Q4159360) (← links)
- On 2nd order intuitionistic propositional calculus with full comprehension (Q4777262) (← links)
- Completeness of intermediate logics with doubly negated axioms (Q5404158) (← links)
- Sufficient conditions for the undecidability of intuitionistic theories with applications (Q5681991) (← links)