Oskar Becker and the modal translation of intuitionistic logic (Q2094160): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-97303-2_18
+Normal rank
@@ Property / OpenAlex ID @@
+W4285122308
@@ Property / OpenAlex ID: W4285122308 / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic
@@ Property / cites work: Justification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5809139
@@ Property / cites work: Q5809139 / rank @@
+Normal rank
@@ Property / cites work @@
+Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
+Normal rank
@@ Property / cites work @@
+Modal companions of intermediate propositional logics
+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 @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+What is strict implication?
@@ Property / cites work: What is strict implication? / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5546768
@@ Property / cites work: Q5546768 / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for Lewis modal systems
@@ Property / cites work: New foundations for Lewis modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Interpretations of intuitionist logic in non-normal modal logics
+Normal rank
@@ Property / cites work @@
+Q3228599
@@ Property / cites work: Q3228599 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional mathematics
@@ Property / cites work: Intensional mathematics / rank @@
+Normal rank