scientific article

From MaRDI portal

Revision as of 10:04, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3722468

Jump to:navigation, search

zbMath0593.03005MaRDI QIDQ3722468

Per Martin-Löf

Publication date: 1985

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

zbMATH Keywords

knowledge proof theory historical development assertion proposition intuitionism judgement act of knowing

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)

Related Items (11)

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ A note on the proof theory of the \(\lambda \Pi\)-calculus ⋮ The epistemic significance of valid inference ⋮ On extensibility of proof checkers ⋮ Partial inductive definitions ⋮ Using typed lambda calculus to implement formal systems on a machine ⋮ Meaning approached via proofs ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ Explaining Deductive Inference ⋮ The foundation of a generic theorem prover ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3722468&oldid=17235721"