Tense LogicRobert P. McArthur1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
Beknopte stereometrieP. WijdenesRechte en vlak
Projecties; hoek van rechte en vlak
Rechte evenwijdig met een vlak
Evenwijdige vlakken
Tweevlakshoeken
Veelvlakshoek. Drievlakshoek
Veelvlakken
Inhouden
Gebogen oppervlakken
De bol
Algemeene herhaling
Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction
1 Background
2 Comparing NJ with LJ
3 Natural Deduction Revisited
4 The Problem of Substitution
5 A Multiple-Conclusion Calculus
6 Reduction Procedures
7 Correspondence Results
8 Interpretations of Derivations
Appendices
A. A Strong Cut-Elimination Theorem for LJ
B. A Formulation of the Classical Sequent Calculus
C. Proofs and Categories
De veiling website gebruikt functionele cookies. We gebruiken Google ReCaptcha (v2) om spambots tegen te gaan. Als je doorgaat stem je in met het gebruik van deze cookies.