scientific article; zbMATH DE number 1301807

zbMath0925.03023MaRDI QIDQ4247025

Per Martin-Löf

Publication date: 8 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ The fundamental problem of general proof theory ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ A new framework for justification logic ⋮ Assertion and grounding: a theory of assertion for constructive type theory ⋮ From the knowability paradox to the existence of proofs ⋮ The Church-Fitch knowability paradox in the light of structural proof theory ⋮ The assertion-candidate and the meaning of mood ⋮ Constructive belief reports ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ Explaining Deductive Inference ⋮ Truth and Proof in Intuitionism ⋮ Truth as an epistemic notion