Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Proofs as Acts and Proofs as Objects

Some questions for Dag Prawitz

Bibliographic Data

ID20142064
AuthorsGöran Sundholm (0000-0001-5161-0720, corresponding author)
Year1998
Volume64
Issue2-3
Pages187-216
Publication date1998-08-01
Peer ReviewedYes
Open AccessYes
TypeARTICLE
VenueTheoria (JOURNAL)
Journal identifiersISSN: 0040-5825 • E-ISSN: 1755-2567
PublisherWiley (PUBLISHER • GB)
DOI10.1111/j.1755-2567.1998.tb00187.x
OpenAlexW2155422972
LanguageEN
Citations received6
References cited19

Citation · Göran · Humanities · Library science · Mathematical proof · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Philosophy and Theoretical Science

  • From the Knowability Paradox to the existence of proofs

    Open Access•W Dean, Walter E Dean et al.•Synthese•2010

  • Inference versus consequence” revisited

    Open Access•Göran Sundholm•Synthese•2012

  • Mathematical Understanding by Thought Experiments

    Open Access•Gerhard Heinzmann•Axiomathes•2022

  • Rethinking Intuition in Constructive Mathematics

    Open Access•Bruno Bentzen•Theoria•2025

  • A Proof‐Theoretic Account of the Miners Paradox

    Open Access•Ansten Klev•Theoria•2016

  • Semantic Values for Natural Deduction Derivations

    Open Access•Göran Sundholm•Synthese•2006

  • Untersuchungen ber das logische Schlie en. I

    Open Access•Gerhard Gentzen•Mathematische Zeitschrift•1935

  • Constructions, proofs and the meaning of logical constants

    Open Access•Göran Sundholm, G�ran Sundholm•Journal of Philosophical Logic•1983

  • Some remarks on verificationistic theories of meaning

    Open Access•Dag Prawitz•Synthese•1987

  • Remarks on some approaches to the concept of logical consequence

    Open Access•Dag Prawitz•Synthese•1985

  • Truth-Makers

    Kevin Mulligan, Peter Simons et al.•Philosophy and Phenomenological…•1984

  • Le Théorème fondamental de Gentzen

    Jean Ladrière•Revue Philosophique de Louvain•1951

Unique citing works6
Citations per year0,3
Citation span2006 - 2025 (20)
Citation velocityrecent
Highly citedNo
Citation typesNeutral: 4

Tools

Open DOISci-Hub
Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae