Pages that link to "Item:Q2826389"
From MaRDI portal
The following pages link to Comparison of several proof systems of intuitionistic propositional logic (Q2826389):
Displaying 8 items.
- A lower bound for intuitionistic logic (Q876385) (← links)
- Reduction of Hilbert-type proof systems to the if-then-else equational logic (Q1428985) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- (Q3533560) (← links)
- Proof Systems for Effectively Propositional Logic (Q3541721) (← links)
- (Q4012877) (← links)
- ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS (Q5100154) (← links)
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic (Q5750847) (← links)