<--- Back to Details
First PageDocument Content
Mathematical logic / Logic / Proof theory / Mathematics / Proof assistants / Logic in computer science / Type theory / Substructural logic / Sequent / First-order logic / Isabelle / Higher-order logic
Date: 2018-08-15 07:19:12
Mathematical logic
Logic
Proof theory
Mathematics
Proof assistants
Logic in computer science
Type theory
Substructural logic
Sequent
First-order logic
Isabelle
Higher-order logic

Add to Reading List

Source URL: isabelle.in.tum.de

Download Document from Source Website

File Size: 581,08 KB

Share Document on Facebook

Similar Documents

Logic / Mathematical logic / Proof theory / Admissible rule / Natural deduction / Sequent / First-order logic / Propositional calculus / Substructural logic / Rule of inference / Intuitionistic logic / Theorem

Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016

DocID: 1rfeR - View Document

Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Differential topology / Symbol / Table of stars with Bayer designations

Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS

DocID: 1oC4C - View Document

Theoretical computer science / Logic in computer science / Formal methods / Mathematical logic / Automated theorem proving / Substructural logic / Formal verification / Compiler correctness / Separation logic / Correctness / Semantics / Hoare logic

Program Logics for Certified Compilers

DocID: 1lxdv - View Document

Theoretical computer science / Logic in computer science / Logic / Mathematical logic / Edsger W. Dijkstra / Formal methods / Separation logic / Substructural logic / Concurrent computing / Modal logic / Semantics / Parallel computing

Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1

DocID: 1loV2 - View Document