scientific article; zbMATH DE number 1078585
From MaRDI portal
Publication:4360856
zbMath0885.03009MaRDI QIDQ4360856
Publication date: 15 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (44)
J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ Proof Theory in Philosophy of Mathematics ⋮ A dual-context sequent calculus for the constructive modal logic S4 ⋮ On interactive proof-search for constructive modal necessity ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ Substructural Proofs as Automata ⋮ Unnamed Item ⋮ Assertion, inference, and consequence ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ A more general general proof theory ⋮ Models of HoTT and the Constructive View of Theories ⋮ Formalising Mathematics in Simple Type Theory ⋮ Assertion and grounding: a theory of assertion for constructive type theory ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ The compatibility of the minimalist foundation with homotopy type theory ⋮ Reprint of: ``A more general general proof theory ⋮ From the knowability paradox to the existence of proofs ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ Book review of: N. Kürbis, Proof and falsity: a logical investigation ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Representing model theory in a type-theoretical logical framework ⋮ Call-by-name Gradual Type Theory ⋮ The assertion-candidate and the meaning of mood ⋮ Formalization and the objects of logic ⋮ Constructive belief reports ⋮ Representing Model Theory in a Type-Theoretical Logical Framework ⋮ On the unity of duality ⋮ LOGIC IN THE TRACTATUS ⋮ The justification of the logical laws revisited ⋮ Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ A meaning explanation for HoTT ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ A modal logic internalizing normal proofs ⋮ A minimalist two-level foundation for constructive mathematics ⋮ 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 ⋮ Structuring co-constructive logic for proofs and refutations
This page was built for publication:
