Partiality and its dual
From MaRDI portal
Publication:1840645
DOI10.1023/A:1026740726955zbMath0988.03012OpenAlexW1531571632MaRDI QIDQ1840645
Publication date: 22 July 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026740726955
four-valued semanticsgeneralized semanticsinconsistent truth-value assignmentspartial truth-value assignments
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Paraconsistent logics (03B53)
Related Items (69)
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ A paraconsistent conditional logic ⋮ Polarity semantics for negation as a modal operator ⋮ Notes on Craig interpolation for LJ with strong negation ⋮ Questions to Michael Dunn ⋮ Pure Variable Inclusion Logics ⋮ Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ \(\mathbf R\) and relevance principle revisited ⋮ The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ Human rationality challenges universal logic ⋮ An algebraic view of super-Belnap logics ⋮ First-degree entailment and its relatives ⋮ MTV logics ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ Qualitative reasoning in a two-layered framework ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ The logic with truth and falsehood operators from a point of view of universal logic ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Contradictory information: too much of a good thing ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Partial and paraconsistent three-valued logics ⋮ Relational semantics for the 4-valued relevant logics BN4 and E4 ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Algebraic Representation, Dualities and Beyond ⋮ Belief functions on distributive lattices ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ First-Degree Entailment and Structural Reasoning ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ 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 ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Belnap-Dunn modal logic with value operators ⋮ Proof theory of paraconsistent quantum logic ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ Non-distributive relatives of ETL and NFL ⋮ A general framework for FDE-based modal logics ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ Hyper-contradictions, generalized truth values and logics of truth and falsehood ⋮ PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ Constructive negation, implication, and co-implication ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ Some useful 16-valued logics: How a computer network should think
This page was built for publication: Partiality and its dual
