scientific article; zbMATH DE number 3216178

Cited in

(29)

Algebra of constructions. I. The word problem for partial algebras
From constructivism to computer science
Five observations concerning the intended meaning of the intuitionistic logical constants
Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
Extraction and verification of programs by analysis of formal proofs
The seeming interdependence between the concepts of valid inference and proof
Inference and epistemic transparency
Dag Prawitz on proofs, operations and grounding
On paradoxes in normal form
Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics
Montague's paradox, informal provability, and explicit modal logic
Beyond Rasiowa's algebraic approach to non-classical logics
Intuitionistische Kennzeichnung der endlichen Spezies
Verificationism and Classical Realizability
The paradox of the knower revisited
Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
Truth and proof in intuitionism
La prédicativité
A Comparison of Type Theory with Set Theory
WHAT IS A RULE OF INFERENCE?
From the knowability paradox to the existence of proofs
A note on synonymy in proof-theoretic semantics
A constructive interpretation of the logical constants
Truth, proofs and functions
Serial properties, selector proofs and the provability of consistency
Analyticity and syntheticity in type theory revisited
Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
On different ways of being equal

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5343326)