Pages that link to "Item:Q2811589"
From MaRDI portal
The following pages link to Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus (Q2811589):
Displaying 8 items.
- A proof-search procedure for intuitionistic propositional logic (Q377482) (← links)
- Proof internalization in generalized Frege systems for classical logic (Q392294) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice (Q1112802) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- Propositional intuitionistic multiple-conclusion calculus via proof graphs (Q5241915) (← links)
