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)
- Normalisation for Some Quite Interesting Many-Valued Logics
- On interpretation of inconsistent theories
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
- 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
- On all strong Kleene generalizations of classical logic
- Nice embedding in classical logic
- Annotated Natural Deduction for Adaptive Reasoning
- From Paraconsistent Logic to Dialetheic Logic
- On the Methodology of Paraconsistent Logic
- Anti-intuitionism and paraconsistency
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- On the system CB1 and a lattice of the paraconsistent calculi
- 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
- The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- 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
- On Axioms and Rexpansions
- First order theory for literal-paraconsistent and literal-paracomplete matrices
- Adaptive logic as a modal logic
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
- Three-Valued Paraconsistent Propositional Logics
- 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)