Note on the Benefit of Proof Representations by Name

In Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.), Mathesis Universalis, Computability and Proof. Cham, Switzerland: Springer Verlag (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289 - 291.
A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289-291.
A note on some extension results.Franco Montagna & Giovanni Sommaruga - 1990 - Studia Logica 49 (4):591 - 600.
A proof of the partial anomalousness of the mental.John-Michael Kuczynski - 1998 - Southern Journal of Philosophy 36 (4):491-504.
On the complexity of proof deskolemization.Matthias Baaz, Stefan Hetzl & Daniel Weller - 2012 - Journal of Symbolic Logic 77 (2):669-686.
What is internalised? Dialogic cognitive representations and the mediated mind.Fernyhough Charles - 2005 - Behavioral and Brain Sciences 28 (5):698-699.
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
A Note on Carnap’s Result and the Connectives.Tristan Haze - 2019 - Axiomathes 29 (3):285-288.
A Note On Logical Relations Between Semantics And Syntax.A. Pitts - 1997 - Logic Journal of the IGPL 5 (4):589-601.
Plausibility and Probability in Juridical Proof.Marcello Di Bello - 2019 - International Journal of Evidence and Proof 23 (1-2).
Proof-relevance of families of setoids and identity in type theory.Erik Palmgren - 2012 - Archive for Mathematical Logic 51 (1-2):35-47.
Generalizing proofs in monadic languages.Matthias Baaz & Piotr Wojtylak - 2008 - Annals of Pure and Applied Logic 154 (2):71-138.
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato.
The Ground of Faith and the Chaos of Thought.Oliver Chase Quick - 1931 - London: Nisbet & Co..
A note on Gibbard’s proof.Justin Khoo - 2013 - Philosophical Studies 166 (S1):153-164.

Analytics

Added to PP
2019-10-26

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references