Document Search Results

Something but not too much: ontological considerations in intuitionistic mathematics. (English) Zbl 1535.00008

Zini, Fosca Mariani (ed.), The meaning of something. Rethinking the logic and the unity of the ontology. Cham: Springer. Log. Argum. Reason. 29, 69-88 (2022).

MSC: 00A30 03A05 03F55

Cite Review PDF

Full Text: DOI

DeBoer, Neil J.

Justification logic and type theory as formalizations of intuitionistic propositional logic. (English) Zbl 1541.03052

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 37-51 (2022).

MSC: 03B42 03B20 03B40

Cite Review PDF

Full Text: DOI

Lion, Clément

A dialogical account of the intersubjectivity of intuitionism. (English) Zbl 1469.03021

Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer. Log. Epistemol. Unity Sci. 44, 95-120 (2019).

MSC: 03A05 03F55

Cite Review PDF

Full Text: DOI

Prawitz, Dag

The seeming interdependence between the concepts of valid inference and proof. (English) Zbl 1428.03029

Topoi 38, No. 3, 493-503 (2019).

MSC: 03A05 03B20 03F03

Cite Review PDF

Full Text: DOI

OA License

Crocco, Gabriella (ed.); Piccolomini d’Aragona, Antonio (ed.)

Introduction: Inferences and proofs. (English) Zbl 1428.00054

Topoi 38, No. 3, 487-492 (2019).

MSC: 00B15 03-06 03A05 03F03

Cite Review PDF

Full Text: DOI

Franchella, Miriam

Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting. (English) Zbl 1427.03005

Hist. Philos. Log. 40, No. 2, 152-181 (2019).

MSC: 03-03 01A60 03A05

Cite Review PDF

Full Text: DOI Link

Prawitz, Dag

The fundamental problem of general proof theory. (English) Zbl 1531.03010

Stud. Log. 107, No. 1, 11-29 (2019).

MSC: 03A05 03F03

Cite Review PDF

Full Text: DOI

OA License

van Atten, Mark; Sundholm, Göran

L. E. J. Brouwer’s ‘Unreliability of the logical principles’: a new translation, with an introduction. (English) Zbl 1372.01108

Hist. Philos. Log. 38, No. 1, 24-47 (2017).

Reviewer: Celia M. Schacht (Glendale)

MSC: 01A75 03-03 03A05 01A60 01A70

Cite Review PDF

Full Text: DOI arXiv

Negri, Sara; von Plato, Jan

Meaning in use. (English) Zbl 1429.03192

Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 239-257 (2015).

MSC: 03F03 03B20 03F07 03B45

Cite Review PDF

Full Text: DOI

Prawitz, Dag

Explaining deductive inference. (English) Zbl 1429.03044

Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 65-100 (2015).

MSC: 03A05 03B20 03F03

Cite Review PDF

Full Text: DOI

De Mol, Liesbeth (ed.); Primiero, Giuseppe (ed.)

When logic meets engineering: introduction to logical issues in the history and philosophy of computer science. (English) Zbl 1355.68014

Hist. Philos. Log. 36, No. 3, 195-204 (2015).

MSC: 68-06 68-03 03B70 00B15

Cite Review PDF

Full Text: DOI Link

Koss, Michael R.

Some obstacles facing a semantic foundation for constructive mathematics. (English) Zbl 1346.03025

Erkenntnis 80, No. 5, 1055-1068 (2015).

MSC: 03A05 03B20 03F50

Cite Review PDF

Full Text: DOI

von Plato, Jan

From axiomatic logic to natural deduction. (English) Zbl 1344.03048

Stud. Log. 102, No. 6, 1167-1184 (2014).

MSC: 03F03 03F07 03-03 01A60

Cite Review PDF

Full Text: DOI

Prawitz, Dag

Truth and proof in intuitionism. (English) Zbl 1312.03039

Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 45-67 (2012).

MSC: 03F55 00A30 03A05