On the intuitionistic force of classical search (extended abstract)
From MaRDI portal
Publication:4645244
Recommendations
Cites work
- scientific article; zbMATH DE number 4055570 (Why is no real title available?)
- scientific article; zbMATH DE number 49746 (Why is no real title available?)
- scientific article; zbMATH DE number 65536 (Why is no real title available?)
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 1348467 (Why is no real title available?)
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- scientific article; zbMATH DE number 3074068 (Why is no real title available?)
- A Uniform Proof-theoretic Investigation of Linear Logic Programming
- A note on the proof theory of the -calculus
- First-order modal tableaux
- The correspondence between cut-elimination and normalization
- The liberalized -rule in free variable semantic tableaux
- Uniform proofs as a foundation for logic programming
- Untersuchungen über das logische Schliessen. II
Cited in
(11)- Some pitfalls of \textsf{LK}-to-\textsf{LJ} translations and how to avoid them
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
- On the intuitionistic force of classical search
- scientific article; zbMATH DE number 1543301 (Why is no real title available?)
- Labelled proof systems for intuitionistic provability
- Proof-terms for classical and intuitionistic resolution
- Proof-terms for classical and intuitionistic resolution
- Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
- On the semantics of classical disjunction
- Proof-finding algorithms for classical and subclassical propositional logics
- A proof-search procedure for intuitionistic propositional logic
This page was built for publication: On the intuitionistic force of classical search (extended abstract)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645244)