Routley star and hyperintensionality (Q830371): Difference between revisions

@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperintensional logic
@@ Property / cites work: Hyperintensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+Double Negation Operator in Logic N ∗
@@ Property / cites work: Double Negation Operator in Logic N ∗ / rank @@
+Normal rank
@@ Property / cites work @@
+Finite model property for negative modalities
@@ Property / cites work: Finite model property for negative modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573357
@@ Property / cites work: Q5573357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5175691
@@ Property / cites work: Q5175691 / rank @@
+Normal rank
@@ Property / cites work @@
+HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
+Normal rank
@@ Property / cites work @@
+Q5844815
@@ Property / cites work: Q5844815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705494
@@ Property / cites work: Q3705494 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Combining intuitionistic connectives and Routley negation
+Normal rank
@@ Property / cites work @@
+The logic of generalized truth values and the logic of bilattices
+Normal rank
@@ Property / cites work @@
+On the Methodology of Paraconsistent Logic
@@ Property / cites work: On the Methodology of Paraconsistent Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Disentangling \textsf{FDE}-based paraconsistent modal logics
+Normal rank
@@ Property / cites work @@
+years of FDE: an introductory overview
@@ Property / cites work: 40 years of FDE: an introductory overview / rank @@
+Normal rank
@@ Property / cites work @@
+MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
@@ Property / cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715516
@@ Property / cites work: Q2715516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of First Degree Entailment
@@ Property / cites work: The Semantics of First Degree Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Heyting Algebras with a Dual Lattice Endomorphism
@@ Property / cites work: Heyting Algebras with a Dual Lattice Endomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Truth and falsehood. An inquiry into generalized logical values
+Normal rank
@@ Property / cites work @@
+Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
+Normal rank
@@ Property / cites work @@
+Distributive lattices with a dual homomorphic operation
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3033739
@@ Property / cites work: Q3033739 / rank @@
+Normal rank
@@ Property / cites work @@
+Nelson's negation on the base of weaker versions of intuitionistic negation
+Normal rank
@@ Property / cites work @@
+Falsification, natural deduction and bi-intuitionistic logic
+Normal rank
@@ Property / cites work @@
+On Split Negation, Strong Negation, Information, Falsification, and Verification
+Normal rank
@@ Property / cites work @@
+A more general general proof theory
@@ Property / cites work: A more general general proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874177
@@ Property / cites work: Q3874177 / rank @@
+Normal rank