PROOF SYSTEMS FOR EXACT ENTAILMENT (Q6148475): Difference between revisions

@@ Property / DOI @@
-.1017/s175502032200020x
@@ Property / DOI: 10.1017/s175502032200020x / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q113857263
@@ Property / Wikidata QID: Q113857263 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s175502032200020x
+Normal rank
@@ Property / OpenAlex ID @@
+W4280534101
@@ Property / OpenAlex ID: W4280534101 / rank @@
+Normal rank
@@ Property / cites work @@
+Truthmakers and normative conflicts
@@ Property / cites work: Truthmakers and normative conflicts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224795
@@ Property / cites work: Q5224795 / 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 @@
+Hyperintensional logic
@@ Property / cites work: Hyperintensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+A difficulty for the possible worlds analysis of counterfactuals
+Normal rank
@@ Property / cites work @@
+Angellic content
@@ Property / cites work: Angellic content / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of truthmaker content. I: Conjunction, disjunction and negation
+Normal rank
@@ Property / cites work @@
+A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
+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 @@
+LOGIC FOR EXACT ENTAILMENT
@@ Property / cites work: LOGIC FOR EXACT ENTAILMENT / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / 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 @@
+HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
+Normal rank
@@ Property / cites work @@
+Exact truthmaking as inexact truthmaking by minimal totality facts
+Normal rank
@@ Property / cites work @@
+Routley star and hyperintensionality
@@ Property / cites work: Routley star and hyperintensionality / rank @@
+Normal rank
@@ Property / cites work @@
+A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
+Normal rank
@@ Property / DOI @@
+.1017/S175502032200020X
@@ Property / DOI: 10.1017/S175502032200020X / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6148475