The laws of thought and the laws of truth as two sides of one coin (Q2686096): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-022-09673-5
+Normal rank
@@ Property / OpenAlex ID @@
+W4292615992
@@ Property / OpenAlex ID: W4292615992 / rank @@
+Normal rank
@@ Property / cites work @@
+Assertion, Denial and Non-classical Theories
@@ Property / cites work: Assertion, Denial and Non-classical Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Truth values and proof theory
@@ Property / cites work: Truth values and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483305
@@ Property / cites work: Q5483305 / rank @@
+Normal rank
@@ Property / cites work @@
+Anything goes
@@ Property / cites work: Anything goes / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of truthmaker content. I: Conjunction, disjunction and negation
+Normal rank
@@ Property / cites work @@
+Truth-maker semantics for intuitionistic logic
@@ Property / cites work: Truth-maker semantics for intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+What Truth Is
@@ Property / cites work: What Truth Is / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+LOGIC FOR EXACT ENTAILMENT
@@ Property / cites work: LOGIC FOR EXACT ENTAILMENT / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
+Normal rank
@@ Property / cites work @@
+Angellic content
@@ Property / cites work: Angellic content / rank @@
+Normal rank
@@ Property / cites work @@
+Truthmaker semantics for relevant logic
@@ Property / cites work: Truthmaker semantics for relevant logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inferences and metainferences in \(\mathsf{ST}\)
@@ Property / cites work: Inferences and metainferences in \(\mathsf{ST}\) / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+Tolerant, classical, strict
@@ Property / cites work: Tolerant, classical, strict / rank @@
+Normal rank
@@ Property / cites work @@
+The logics of strict-tolerant logic
@@ Property / cites work: The logics of strict-tolerant logic / rank @@
+Normal rank
@@ Property / cites work @@
+ST, LP and Tolerant Metainferences
@@ Property / cites work: ST, LP and Tolerant Metainferences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365513
@@ Property / cites work: Q5365513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224666
@@ Property / cites work: Q5224666 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE LOGIC OF FACTUAL EQUIVALENCE
@@ Property / cites work: ON THE LOGIC OF FACTUAL EQUIVALENCE / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free sequent system for two-dimensional modal logic, and why it matters
+Normal rank
@@ Property / cites work @@
+Speech acts, categoricity, and the meanings of logical connectives
+Normal rank
@@ Property / cites work @@
+COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES
+Normal rank
@@ Property / cites work @@
+COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS
+Normal rank
@@ Property / cites work @@
+Truthmaking and the is-ought gap
@@ Property / cites work: Truthmaking and the is-ought gap / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank