General-elimination stability (Q526738): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 03F05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6715511
@@ Property / zbMATH DE Number: 6715511 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+harmony
@@ Property / zbMATH Keywords: harmony / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+general-elimination rules
@@ Property / zbMATH Keywords: general-elimination rules / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stability
@@ Property / zbMATH Keywords: stability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+local completeness
@@ Property / zbMATH Keywords: local completeness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+grounds
@@ Property / zbMATH Keywords: grounds / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Gentzen
@@ Property / zbMATH Keywords: Gentzen / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59518175
@@ Property / Wikidata QID: Q59518175 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / 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-016-9692-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2533972569
@@ Property / OpenAlex ID: W2533972569 / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on modal sequent logic
@@ Property / cites work: A perspective on modal sequent logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666849
@@ Property / cites work: Q3666849 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Remarks on Proof-Theoretic Semantics
@@ Property / cites work: Some Remarks on Proof-Theoretic Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A note on harmony
@@ Property / cites work: A note on harmony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3467536
@@ Property / cites work: Q3467536 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3257118
@@ Property / cites work: Q3257118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic semantics, a problem with negation and prospects for modality
+Normal rank
@@ Property / cites work @@
+Konstruktive Begründung der Mathematik
@@ Property / cites work: Konstruktive Begründung der Mathematik / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Inversion Principles and Introduction Rules
@@ Property / cites work: Inversion Principles and Introduction Rules / rank @@
+Normal rank
@@ Property / cites work @@
+On Inversion Principles
@@ Property / cites work: On Inversion Principles / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning in Use
@@ Property / cites work: Meaning in Use / 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 @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192055
@@ Property / cites work: Q4192055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797033
@@ Property / cites work: Q5797033 / rank @@
+Normal rank
@@ Property / cites work @@
+Harmony and autonomy in classical logic
@@ Property / cites work: Harmony and autonomy in classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+General-Elimination Harmony and Higher-Level Rules
+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 @@
+Generalized definitional reflection and the inversion principle
+Normal rank
@@ Property / cites work @@
+The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
+Normal rank
@@ Property / cites work @@
+Harmony in Proof-Theoretic Semantics: A Reductive Analysis
+Normal rank
@@ Property / cites work @@
+ON FLATTENING ELIMINATION RULES
@@ Property / cites work: ON FLATTENING ELIMINATION RULES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Dag Prawitz on proofs and meaning
@@ Property / cites work: Dag Prawitz on proofs and meaning / rank @@
+Normal rank
@@ Property / cites work @@
+The adequacy problem for inferential logic
@@ Property / cites work: The adequacy problem for inferential logic / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/sLogica/JacintoR17
@@ Property / DBLP publication ID: journals/sLogica/JacintoR17 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:526738