Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834): Difference between revisions

@@ Property / describes a project that uses @@
+LPL software
@@ Property / describes a project that uses: LPL software / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-018-9828-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2893317412
@@ Property / OpenAlex ID: W2893317412 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113900500
@@ Property / Wikidata QID: Q113900500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3096993
@@ Property / cites work: Q3096993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347856
@@ Property / cites work: Q3347856 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalized natural deduction systems for some relevant logics I: The logic DW
+Normal rank
@@ Property / cites work @@
+Free semantics
@@ Property / cites work: Free semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5409126
@@ Property / cites work: Q5409126 / rank @@
+Normal rank
@@ Property / cites work @@
+From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions
+Normal rank
@@ Property / cites work @@
+Natural deduction via graphs: formal definition and computation rules
+Normal rank
@@ Property / cites work @@
+Natural deduction in normal modal logic
@@ Property / cites work: Natural deduction in normal modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
+Normal rank
@@ Property / cites work @@
+General-elimination stability
@@ Property / cites work: General-elimination stability / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation of Natural Deduction and Gentzen Sequent Calculus
+Normal rank
@@ Property / cites work @@
+Assumption Classes in Natural Deduction
@@ Property / cites work: Assumption Classes in Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+A new S4 classical modal logic in natural deduction
+Normal rank
@@ Property / cites work @@
+Q4495850
@@ Property / cites work: Q4495850 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculus in natural deduction style
@@ Property / cites work: Sequent calculus in natural deduction style / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief History of Natural Deduction
@@ Property / cites work: A Brief History of Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994969
@@ Property / cites work: Q4994969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567835
@@ Property / cites work: Q5567835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3003836
@@ Property / cites work: Q3003836 / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal proofs, cut free derivations and structural rules
+Normal rank
@@ Property / cites work @@
+Natural deduction and Curry's paradox
@@ Property / cites work: Natural deduction and Curry's paradox / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Fitch-style rules for many modal logics
@@ Property / cites work: Fitch-style rules for many modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Trees for E
@@ Property / cites work: Trees for E / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure for Fitch's propositional calculus
+Normal rank
@@ Property / cites work @@
+Q5635429
@@ Property / cites work: Q5635429 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939407
@@ Property / cites work: Q4939407 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal derivability in modal logic
@@ Property / cites work: Normal derivability in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
+Normal rank
@@ Property / cites work @@
+Gentzen's Proof of Normalization for Natural Deduction
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2278834