Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-022-00857-z
@@ Property / DOI: 10.1007/s00153-022-00857-z / rank @@
-Normal rank
@@ Property / cites work @@
+Toposes without points
@@ Property / cites work: Toposes without points / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
+Normal rank
@@ Property / cites work @@
+Q4178997
@@ Property / cites work: Q4178997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661851
@@ Property / cites work: Q5661851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5104707
@@ Property / cites work: Q5104707 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminability of cut in hypersequent calculi for some modal logics of linear frames
+Normal rank
@@ Property / cites work @@
+Q4939409
@@ Property / cites work: Q4939409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolation theorem for denumerably long formulas
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences between classical, intuitionistic and uniform provability
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
+Normal rank
@@ Property / cites work @@
+Geometric Rules in Infinitary Logic
@@ Property / cites work: Geometric Rules in Infinitary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Glivenko sequent classes in the light of structural proof theory
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A NOTE ON THE SEQUENT CALCULI
@@ Property / cites work: A NOTE ON THE SEQUENT CALCULI / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Barr’s Theorem: Proofs in Geometric Theories
+Normal rank
@@ Property / cites work @@
+Minimal from classical proofs
@@ Property / cites work: Minimal from classical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852317
@@ Property / cites work: Q3852317 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-022-00857-Z
@@ Property / DOI: 10.1007/S00153-022-00857-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6103506