Three-valued paraconsistent propositional logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 45458 (Why is no real title available?)
- scientific article; zbMATH DE number 46852 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 560935 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 3993546 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- scientific article; zbMATH DE number 3315182 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (Why is no real title available?)
- scientific article; zbMATH DE number 3077773 (Why is no real title available?)
- A calculus of antinomics
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information
- A treatise on many-valued logics
- Combining classical logic, paraconsistency and relevance
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- Deducibility and many-valuedness
- From possibility theory to paraconsistency
- Ideal paraconsistent logics
- Logics of formal inconsistency
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Minimally inconsistent LP
- Natural 3-valued logics—characterization and proof theory
- Non-deterministic Multiple-valued Structures
- On an implication connective of RM
- On interpretation of inconsistent theories
- On the expressive power of three-valued and four-valued languages
- On the theory of inconsistent formal systems
- Reasoning about truth
- The logic of paradox
- The value of the four values
Cited in
(46)- Logics of conditional computations with errors
- Prefixed tableaus for three-valued modal propositional logics
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
- Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox
- Jaśkowski's criterion and three-valued paraconsistent logics
- A generalisation of a refutation-related method in paraconsistent logics
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- On the three-valued expansions of Kleene's logic
- Extensions of Hałkowska-Zajac's three-valued paraconsistent logic
- Paraconsistency and the need for infinite semantics
- Three characterizing numbers of partition logics
- Kripke-type semantics for \(\mathrm{CG}_3'\)
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик
- A Three-valued Formalization of Provability
- Four-valued paradefinite logics
- Non-classical modifications of many-valued matrices of the classical propositional logic. II
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
- Self-extensional three-valued paraconsistent logics have no implication
- \(n\)-valued maximal paraconsistent matrices
- Lindenbaum-type logical structures
- Non-classical modifications of many-valued matrices of the classical propositional logic. I.
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- Relationships between Connectives in Three-Valued Logics
- The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
- Sequent calculus for 3-valued paraconsistent logic QMPT0
- Ideal paraconsistent logics
- Many-valued paraconsistent extensions of classical positive propositional Calculus
- Partial and paraconsistent three-valued logics
- A paraconsistent logic obtained from an algebra-valued model of set theory
- scientific article; zbMATH DE number 988154 (Why is no real title available?)
- scientific article; zbMATH DE number 2209450 (Why is no real title available?)
- Paraconsistentization and many-valued logics
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- Cut-free systems for three-valued modal logics
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- scientific article; zbMATH DE number 1775473 (Why is no real title available?)
- The normal and self-extensional extension of Dunn-Belnap logic
- scientific article; zbMATH DE number 19712 (Why is no real title available?)
- scientific article; zbMATH DE number 1931671 (Why is no real title available?)
- Two Genuine 3-Valued Paraconsistent Logics
- scientific article; zbMATH DE number 2020144 (Why is no real title available?)
- A Correspondence Between Variable Relations And Three-Valued Propositional Logic
- Strong Three-Valued Paraconsistent Logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication: Three-valued paraconsistent propositional logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241519)
