Publication:4360856
From MaRDI portal
zbMath0885.03009MaRDI QIDQ4360856
Publication date: 15 April 1998
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Representing Model Theory in a Type-Theoretical Logical Framework, 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, 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, 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, The assertion-candidate and the meaning of mood, On the unity of duality, The justification of the logical laws revisited, Proof Theory in Philosophy of Mathematics, Substructural Proofs as Automata