A New Proof that π11 < σ11

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):407-408 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19790252504

Links

PhilArchive



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

External links

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 New Proof that π 11 < σ 11.Richard Gostanian & Karel Hrbacek - 1979 - Mathematical Logic Quarterly 25 (25‐29):407-408.
Sequent reconstruction in LLM—A sweepline proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
Teaching proving by coordinating aspects of proofs with students' abilities.Annie Selden & John Selden - 2009 - In Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.), Teaching and Learning Proof Across the Grades: A K-16 Perspective. New York, USA: Routledge. pp. 339--354.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23-40.
Argumentative aspects of indirect proof.James Gasser - 1992 - Argumentation 6 (1):41-49.
Dialectic and Indirect Proof.Clark Butler - 1991 - The Monist 74 (3):422-437.
Proof and Sanction in Mill's Utilitarianism.Stephen Cohen - 1990 - History of Philosophy Quarterly 7 (4):475 - 487.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
A New Proof of the Likelihood Principle.Greg Gandenberger - 2015 - British Journal for the Philosophy of Science 66 (3):475-503.
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
Semantic and game-theoretical insight into argumentation and proof.Barrier Thomas, Durand-Guerrier Viviane & Thomas Blossier - unknown

Analytics

Added to PP
2016-02-04

Downloads
24 (#620,575)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The order of reflection.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1555-1583.

Add more citations

References found in this work

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.

Add more references