<--- Back to Details
First PageDocument Content
Proof theory / Philosophical logic / Metalogic / Noncommutative logic / Linear logic / Entailment / Natural deduction / Jean-Yves Girard / Proof net / Logic / Substructural logic / Deduction
Date: 2007-06-19 07:36:16
Proof theory
Philosophical logic
Metalogic
Noncommutative logic
Linear logic
Entailment
Natural deduction
Jean-Yves Girard
Proof net
Logic
Substructural logic
Deduction

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Download Document from Source Website

File Size: 482,50 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