Corpus ID: 3651267

Mathematical Logic in Computer Science

@article{Kfoury2018MathematicalLI,
  title={Mathematical Logic in Computer Science},
  author={A. Kfoury},
  journal={ArXiv},
  year={2018},
  volume={abs/1802.03292}
}
  • A. Kfoury
  • Published 2018
  • Computer Science
  • ArXiv
  • The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s. 

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Formalization of the Resolution Calculus for First-Order Logic
    24
    Formalization of the Resolution Calculus for First-Order Logic
    A Calculational Deductive System for Linear Temporal Logic
    A Micro Prover for Teaching Automated Reasoning
    Computing Theory Prime Implicates in Modal Logic
    1
    Generating Hints and Feedback for Hilbert-style Axiomatic Proofs
    4

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 133 REFERENCES
    Elements of Finite Model Theory
    777
    Propositions as types
    115
    The prospects for mathematical logic in the twenty-first century
    33
    Languages, Automata, and Logic
    1043
    Logic for computer science
    29
    On the Termination of Program Schemas
    6
    Logic in Computer Science: Modelling and Reasoning About Systems
    754
    Solution of the Robbins Problem
    268
    Automated theorem provers: a practical tool for the working mathematician?
    22
    Introduction to Automata Theory, Languages and Computation
    11830