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
@@ 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/s10992-012-9239-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2019724282
@@ Property / OpenAlex ID: W2019724282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4662877
@@ Property / cites work: Q4662877 / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerant, classical, strict
@@ Property / cites work: Tolerant, classical, strict / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Sense, entailment and modus ponens
@@ Property / cites work: Sense, entailment and modus ponens / rank @@
+Normal rank
@@ Property / cites work @@
+Subintuitionistic logics
@@ Property / cites work: Subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+A model of tolerance
@@ Property / cites work: A model of tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH WITHOUT CONTRA(DI)CTION
@@ Property / cites work: TRUTH WITHOUT CONTRA(DI)CTION / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:373022