The Story of $$\gamma $$ γ (Q3305422): Difference between revisions

@@ 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/978-3-319-29300-4_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2462982167
@@ Property / OpenAlex ID: W2462982167 / 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 @@
+Q5595152
@@ Property / cites work: Q5595152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5730122
@@ Property / cites work: Q5730122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+Q2753193
@@ Property / cites work: Q2753193 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+On disjunctions and existential statements in intuitionistic systems of logic
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Disjunction and existence under implication in elementary intuitionistic formalisms
+Normal rank
@@ Property / cites work @@
+Q5650669
@@ Property / cites work: Q5650669 / rank @@
+Normal rank
@@ Property / cites work @@
+Metacompleteness
@@ Property / cites work: Metacompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+E, R AND <i>γ</i>
@@ Property / cites work: E, R AND <i>γ</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of relevant quantification theories
@@ Property / cites work: Completeness of relevant quantification theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215637
@@ Property / cites work: Q4215637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Duality for algebras of relevant logics
@@ Property / cites work: Duality for algebras of relevant logics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3305422