Pages that link to "Item:Q5294019"
From MaRDI portal
The following pages link to The basic intuitionistic logic of proofs (Q5294019):
Displaying 25 items.
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- Possible world semantics for first-order logic of proofs (Q392284) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- The logic of proofs, semantically (Q703832) (← links)
- Propositional games with explicit strategies (Q731893) (← links)
- Proof-functional connectives and realizability (Q1330311) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Syntactical models and fixed points for the basic logic of proofs (Q1924755) (← links)
- An operational logic of proofs with positive and negative information (Q1970597) (← links)
- On the logical philosophy of assertive graphs (Q2228440) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- Referential logic of proofs (Q2500486) (← links)
- A short introduction to intuitionistic logic (Q2703802) (← links)
- Modalities Without Worlds (Q2908759) (← links)
- Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147) (← links)
- The first-order hypothetical logic of proofs (Q3133155) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- Reference Constructions in the Single-conclusion Proof Logic (Q3431965) (← links)
- A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP (Q4444938) (← links)
- Weak arithmetical interpretations for the Logic of Proofs (Q4644547) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- Negative Operations on Proofs and Labels (Q5696306) (← links)
- Logic of proofs and provability (Q5957921) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
