scientific article; zbMATH DE number 3719121
From MaRDI portal
Publication:3909031
Cited in
(42)- Paranegations and the square of oppositions
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Ideal paraconsistent logics
- Generalized correspondence analysis for three-valued logics
- Normalisation for some quite interesting many-valued logics
- On the system CB\(^1\) and a lattice of the paraconsistent calculi
- Paraconsistency and the need for infinite semantics
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- Paraconsistency properties in degree-preserving fuzzy logics
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Tutorial on Inconsistency-Adaptive Logics
- Exactly true and non-falsity logics meeting infectious ones
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
- Two, Many, and Differently Many
- Three-valued paraconsistent propositional logics
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Multimodal incompleteness under weak negations
- Modal extensions of sub-classical logics for recovering classical logic
- Adaptive logic as a modal logic
- On Axioms and Rexpansions
- From paraconsistent logic to dialetheic logic
- On the methodology of paraconsistent logic
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
- Socratic proofs and paraconsistency: A case study
- Interpolation methods for Dunn logics and their extensions
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Annotated natural deduction for adaptive reasoning
- On interpretation of inconsistent theories
- Paraconsistency in classical logic
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study
- There is more to negation than modality
- First order theory for literal-paraconsistent and literal-paracomplete matrices
- Some Adaptive Contributions to Logics of Formal Inconsistency
- The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable
- Anti-intuitionism and paraconsistency
- Inconsistency-adaptive dialogical logic
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- On all strong Kleene generalizations of classical logic
- Nice embedding in classical logic
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Two semantical approaches to paraconsistent modalities
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3909031)
