Publication:4360856

zbMath0885.03009MaRDI QIDQ4360856

Per Martin-Löf

Publication date: 15 April 1998

zbMATH Keywords

logical connectives; logical inference rules; justification of logical reasoning

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

Related Items

Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions, Unnamed Item, Call-by-name Gradual Type Theory, Representing Model Theory in a Type-Theoretical Logical Framework, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing, Truth and Proof in Intuitionism, Program Testing and the Meaning Explanations of Intuitionistic Type Theory, Coalgebras as Types Determined by Their Elimination Rules, CATEGORICAL HARMONY AND PATH INDUCTION, LOGIC IN THE TRACTATUS, A dual-context sequent calculus for the constructive modal logic S4, Models of HoTT and the Constructive View of Theories, Formalising Mathematics in Simple Type Theory, UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC, Structuring co-constructive logic for proofs and refutations, J-Calc: a typed lambda calculus for intuitionistic justification logic, Assertion, inference, and consequence, ``Inference versus consequence revisited: inference, consequence, conditional, implication, Assertion and grounding: a theory of assertion for constructive type theory, Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax, Constructive belief reports, From the knowability paradox to the existence of proofs, Representing model theory in a type-theoretical logical framework, Cut-free Gentzen calculus for multimodal CK, A modal logic internalizing normal proofs, Formalization and the objects of logic, A minimalist two-level foundation for constructive mathematics, A more general general proof theory, Reprint of: ``A more general general proof theory, A meaning explanation for HoTT, On interactive proof-search for constructive modal necessity, Dual and axiomatic systems for constructive S4, a formally verified equivalence, The seeming interdependence between the concepts of valid inference and proof, The assertion-candidate and the meaning of mood, On the unity of duality, The justification of the logical laws revisited, Inference as doxastic agency. I: The basics of justification stit logic, Book review of: N. Kürbis, Proof and falsity: a logical investigation, Proof Theory in Philosophy of Mathematics, Substructural Proofs as Automata