Representing scope in intuitionistic deductions (Q1274448): Difference between revisions

@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution theorem proving in reified modal logics
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Theorem Proving: An Equational Viewpoint
@@ Property / cites work: Modal Theorem Proving: An Equational Viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954845
@@ Property / cites work: Q3954845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244301
@@ Property / cites work: Q4244301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663380
@@ Property / cites work: Q5663380 / rank @@
+Normal rank
@@ Property / cites work @@
+Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
+Normal rank
@@ Property / cites work @@
+A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+Multimodal logic programming using equational and order-sorted logic
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A logic program for transforming sequent proofs to natural deduction proofs
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4332417
@@ Property / cites work: Q4332417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
+Normal rank
@@ Property / cites work @@
+On proof normalization in linear logic
@@ Property / cites work: On proof normalization in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+A logical analysis of modules in logic programming
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+A proof procedure for the logic of hereditary Harrop formulas
+Normal rank
@@ Property / cites work @@
+Semantics-Based Translation Methods for Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4282526
@@ Property / cites work: Q4282526 / rank @@
+Normal rank
@@ Property / cites work @@
+T-string unification: Unifying prefixes in non-classical proof methods
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Syntactical Observations on Linear Logic
@@ Property / cites work: Some Syntactical Observations on Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264720
@@ Property / cites work: Q4264720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684645
@@ Property / cites work: Q5684645 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof strategies in linear logic
@@ Property / cites work: Proof strategies in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708773
@@ Property / cites work: Q3708773 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Proof-search in intuitionistic logic based on constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Converting non-classical matrix proofs into sequent-style systems
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(98)00244-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2058399339
@@ Property / OpenAlex ID: W2058399339 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1274448