scientific article
From MaRDI portal
Publication:3909031
zbMath0459.03013MaRDI QIDQ3909031
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (40)
On all strong Kleene generalizations of classical logic ⋮ Generalized correspondence analysis for three-valued logics ⋮ Nice embedding in classical logic ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ On interpretation of inconsistent theories ⋮ Adaptive logic as a modal logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Two semantical approaches to paraconsistent modalities ⋮ Interpolation methods for Dunn logics and their extensions ⋮ Two, Many, and Differently Many ⋮ Rasiowa-Sikorski deduction systems with the rule of cut: a case study ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Multimodal incompleteness under weak negations ⋮ Modal extensions of sub-classical logics for recovering classical logic ⋮ Paranegations and the square of oppositions ⋮ Ideal paraconsistent logics ⋮ Paraconsistency in classical logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Annotated Natural Deduction for Adaptive Reasoning ⋮ There is more to negation than modality ⋮ First order theory for literal-paraconsistent and literal-paracomplete matrices ⋮ Anti-intuitionism and paraconsistency ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Paraconsistency and the need for infinite semantics ⋮ The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ On the system CB1 and a lattice of the paraconsistent calculi ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ On Axioms and Rexpansions ⋮ Socratic proofs and paraconsistency: A case study ⋮ An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) ⋮ Inconsistency-adaptive dialogical logic
This page was built for publication:
