The following pages link to Basic predicate calculus (Q5937805):
Displaying 24 items.
- On hyperarithmetical realizability (Q268079) (← links)
- Arithmetical realizability and basic logic (Q297665) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- Polynomially bounded recursive realizability (Q817959) (← links)
- General recursive realizability and basic logic (Q828116) (← links)
- Predicate logical extensions of some subintuitionistic logics (Q1005979) (← links)
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- A canonical model for constant domain basic first-order logic (Q2027216) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (Q2113424) (← links)
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- A counterexample to polynomially bounded realizability of basic arithmetic (Q2330507) (← links)
- Arithmetical realizability and primitive recursive realizability (Q2362860) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- Completions of Basic Algebras (Q3638276) (← links)
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH (Q5099781) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)
