The basic intuitionistic logic of proofs
From MaRDI portal
Recommendations
Cites work
- Best solving modal equations
- Explicit provability and constructive semantics
- scientific article; zbMATH DE number 1231474 (Why is no real title available?)
- Intermediate logics and Visser's rules
- Introducing Justification into Epistemic Logic
- Justified common knowledge
- Kolmogorov and Gödel's approach to intuitionistic logic: current developments
- Logic of proofs
- Rules and arithmetics
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- The logic of proofs, semantically
- Typing in reflective combinatory logic
- Unification in intuitionistic logic
- Zur Deutung der intuitionistischen Logik
Cited in
(31)- Proof-functional connectives and realizability
- On arithmetical completeness of the logic of proofs
- Syntactical models and fixed points for the basic logic of proofs
- An operational logic of proofs with positive and negative information
- On the logical philosophy of assertive graphs
- Hypothetical logic of proofs
- An analytic calculus for the intuitionistic logic of proofs
- Referential logic of proofs
- A short introduction to intuitionistic logic
- Intuitionistic hypothetical logic of proofs
- Substructural logic of proofs
- Modalities without worlds
- Arithmetical Completeness of the Intuitionistic Logic of Proofs
- The first-order hypothetical logic of proofs
- Properties of Intuitionistic Provability and Preservativity Logics
- Reference Constructions in the Single-conclusion Proof Logic
- Intuitionism and the Anti-Justification of Bivalence
- Possible world semantics for first-order logic of proofs
- A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
- Weak arithmetical interpretations for the logic of proofs
- Logics of proofs and justifications
- Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
- Symmetric Logic of Proofs
- Negative Operations on Proofs and Labels
- Logic of proofs and provability
- A substructural approach to explicit modal logic
- From the knowability paradox to the existence of proofs
- Hypersequent calculi for intuitionistic logic with classical atoms
- Justification logic for intuitionistic modal logic
- The logic of proofs, semantically
- Propositional games with explicit strategies
This page was built for publication: The basic intuitionistic logic of proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5294019)
