The following pages link to (Q2715515):
Displayed 34 items.
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- A paraconsistent conditional logic (Q829828) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- There is more to negation than modality (Q1749806) (← links)
- Negation and paraconsistent logics (Q1942343) (← links)
- On negation for non-classical set theories (Q2037302) (← links)
- Stone algebras: 3-valued logic and rough sets (Q2100406) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- The Relevance of Relevance to Relevance Logic (Q2937386) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- Logical Foundations of Evidential Reasoning with Contradictory Information (Q3305428) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- Bridging the Two Plans in the Semantics for Relevant Logic (Q3305616) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- Popper's Notion of Duality and His Theory of Negations (Q4608217) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- A Semantic Analysis of Stone and Dual Stone Negations with Regularity (Q5224497) (← links)
- Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics (Q5241528) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
- Moderate anti-exceptionalism and earthborn logic (Q6147182) (← links)