Semantic values for natural deduction derivations (Q2500822): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-004-6298-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2045318987
@@ Property / OpenAlex ID: W2045318987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4405129
@@ Property / cites work: Q4405129 / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633976
@@ Property / cites work: Q5633976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3661478
@@ Property / cites work: Q3661478 / rank @@
+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 @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Q4342088
@@ Property / cites work: Q4342088 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit epistemic aspects of constructive logic
@@ Property / cites work: Implicit epistemic aspects of constructive logic / rank @@
+Normal rank