Hilbert's epsilon as an operator of indefinite committed choice (Q946570): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2007.07.009
@@ Property / DOI: 10.1016/j.jal.2007.07.009 / rank @@
-Normal rank
@@ Property / cites work @@
+Mengentheoretische Begründung der Logik
@@ Property / cites work: Mengentheoretische Begründung der Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Logischen Auswahlfunktionen
@@ Property / cites work: Theorie der Logischen Auswahlfunktionen / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995031
@@ Property / cites work: Q3995031 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's \(\varepsilon{}\)-operator and classical logic
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction. A basis for applications. Vol. III: Applications
+Normal rank
@@ Property / cites work @@
+The Logic of Choice
@@ Property / cites work: The Logic of Choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827040
@@ Property / cites work: Q5827040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4522882
@@ Property / cites work: Q4522882 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction in classical and non-classical logics. Selected papers
+Normal rank
@@ Property / cites work @@
+Intuitionistic ϵ‐ and τ‐calculi
@@ Property / cites work: Intuitionistic ϵ‐ and τ‐calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263014
@@ Property / cites work: Q4263014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590039
@@ Property / cites work: Q5590039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625113
@@ Property / cites work: Q5625113 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Termlogik mit Auswahloperator
@@ Property / cites work: Eine Termlogik mit Auswahloperator / rank @@
+Normal rank
@@ Property / cites work @@
+Grundlagen der Mathematik I
@@ Property / cites work: Grundlagen der Mathematik I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524794
@@ Property / cites work: Q4524794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582304
@@ Property / cites work: Q5582304 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701389
@@ Property / cites work: Q3701389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4876402
@@ Property / cites work: Q4876402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682461
@@ Property / cites work: Q3682461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4357731
@@ Property / cites work: Q4357731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412867
@@ Property / cites work: Q4412867 / rank @@
+Normal rank
@@ Property / cites work @@
+Descente Infinie + Deduction
@@ Property / cites work: Descente Infinie + Deduction / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2007.07.009
@@ Property / DOI: 10.1016/J.JAL.2007.07.009 / rank @@
+Normal rank