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