The following pages link to (Q4109651):
Displaying 13 items.
- A logic covering undefinedness in program proofs (Q790610) (← links)
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Levels of truth (Q1903585) (← links)
- One step is enough (Q2679573) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- BUNDER’S PARADOX (Q3389494) (← links)
- Positive Frege and its Scott‐style semantics (Q3520230) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)