scientific article
From MaRDI portal
Publication:3722468
zbMath0593.03005MaRDI QIDQ3722468
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)
Related Items
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
