Pages that link to "Item:Q5537601"
From MaRDI portal
The following pages link to On the strong semantical completeness of the intuitionistic predicate calculus (Q5537601):
Displayed 16 items.
- A representation theorem for polyadic Heyting algebras (Q585199) (← links)
- Truth as an epistemic ideal (Q928710) (← links)
- Predicate logical extensions of some subintuitionistic logics (Q1005979) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics (Q1078165) (← links)
- Probabilistic semantics objectified: I. Postulates and logics (Q1161734) (← links)
- Applications of Kripke models to Heyting-Brouwer logic (Q1239313) (← links)
- Dynamic semantics and circular propositions (Q1325775) (← links)
- A strong completeness theorem in intuitionistic quantified modal logic (Q1841473) (← links)
- Partial up an down logic (Q1903583) (← links)
- Honesty in partial logic (Q1919981) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS (Q3577741) (← links)
- Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics (Q4053614) (← links)
- Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik (Q5641136) (← links)