The Algorithms for Improving and Reorganizing Natural Deduction Proofs

Studies in Logic, Grammar and Rhetoric 22 (35) (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Circular Proofs in Proof-theoretic Simulation of Belousov-Zhabotinsky Reaction.Andrew Schumann - 2009 - Studies in Logic, Grammar and Rhetoric 17 (30).
Improving Represntations of Knowledge within the Mizar Library.Adam Grabowski & Christoph Schwarzweller - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
The Chinese Remainder Theorem, its Proofs and its Generalizations in Mathematical Repositories.Christoph Schwarzweller - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Cyclic Proofs in Argumentation. The Case of Excluding Boris Pasternak from the Assoication of Writers in the USSR.Mary Dziśko & Andrew Schumann - 2009 - Studies in Logic, Grammar and Rhetoric 16 (29).
Natural Sign and Painting.Mateusz Salwa - 2009 - Studies in Logic, Grammar and Rhetoric 15 (28).
Positive and Natural Law in Thomas Hobbes's Philosophy.Katarzyna Doliwa - 2012 - Studies in Logic, Grammar and Rhetoric 28 (41).
The so-called Cartesian and Newtonian rationalism in the contemporary mathematical-natural sciences.Aldona Krupska - 2010 - Studies in Logic, Grammar and Rhetoric 20 (33).
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
Proofs of strong normalisation for second order classical natural deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.

Analytics

Added to PP
2018-03-10

Downloads
3 (#1,852,372)

6 months
3 (#1,475,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references