Naive \textit{modus ponens} (Q373022): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 03A05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6217463
@@ Property / zbMATH DE Number: 6217463 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+contraction
@@ Property / zbMATH Keywords: contraction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Curry's paradox
@@ Property / zbMATH Keywords: Curry's paradox / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+entailment
@@ Property / zbMATH Keywords: entailment / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logical consequence
@@ Property / zbMATH Keywords: logical consequence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\textit{modus ponens}
@@ Property / zbMATH Keywords: \textit{modus ponens} / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+transparent truth
@@ Property / zbMATH Keywords: transparent truth / rank @@
+Normal rank

Revision as of 09:55, 29 June 2023