New consecution calculi for \(R^{t}_{\to}\) (Q691126): Difference between revisions

@@ Property / OpenAlex ID @@
+W2082042052
@@ Property / OpenAlex ID: W2082042052 / rank @@
+Normal rank
@@ Property / cites work @@
+Begründung einer strengen Implikation
@@ Property / cites work: Begründung einer strengen Implikation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure For the System <i>E</i><sub>Ī</sub> of Entailment with Negation
+Normal rank
@@ Property / cites work @@
+Admissibility of cut in LC with fixed point combinator
+Normal rank
@@ Property / cites work @@
+Types of I-free hereditary right maximal terms
@@ Property / cites work: Types of I-free hereditary right maximal terms / rank @@
+Normal rank
@@ Property / cites work @@
+\(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+New consecution calculi for \(R^{t}_{\to}\)
@@ Property / cites work: New consecution calculi for \(R^{t}_{\to}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
+Normal rank
@@ Property / cites work @@
+On the decidability of implicational ticket entailment
+Normal rank
@@ Property / cites work @@
+Towards a semantic characterization of cut-elimination
+Normal rank
@@ Property / cites work @@
+Q4178997
@@ Property / cites work: Q4178997 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+The first axiomatization of relevant logic
@@ Property / cites work: The first axiomatization of relevant logic / rank @@
+Normal rank
@@ Property / cites work @@
+TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators and structurally free logic
@@ Property / cites work: Combinators and structurally free logic / 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 @@
+Q4532199
@@ Property / cites work: Q4532199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077983
@@ Property / cites work: Q4077983 / rank @@
+Normal rank
@@ Property / cites work @@
+Sentential constants in R and \(R^{\neg}\)
@@ Property / cites work: Sentential constants in R and \(R^{\neg}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428879
@@ Property / cites work: Q4428879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103076
@@ Property / cites work: Q4103076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank