The following pages link to Partiality and its dual (Q1840645):
Displaying 50 items.
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Belief functions on distributive lattices (Q490415) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← 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)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- The logic with truth and falsehood operators from a point of view of universal logic (Q1941730) (← links)
- Contradictory information: too much of a good thing (Q1959325) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 (Q2236505) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← 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)
- MTV logics (Q2679585) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Relational semantics for the 4-valued relevant logics BN4 and E4 (Q2987765) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← 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)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
