scientific article; zbMATH DE number 1463147
From MaRDI portal
Publication:4487295
Recommendations
- scientific article; zbMATH DE number 2213620
- Reasoning with contradictory information using quasi-classical logic
- Paraconsistent and paracomplete basic logics without classical negation and some of their extensions
- scientific article; zbMATH DE number 912317
- Socratic proofs and paraconsistency: A case study
- A non-classical refinement of the interpolation property for classical propositional logic
- Embedding operations and their application
- scientific article; zbMATH DE number 823606
- Paraconsistent double negations as classical and intuitionistic negations
Cited in
(22)- Generalized correspondence analysis for three-valued logics
- Modal extensions of sub-classical logics for recovering classical logic
- Embedding friendly first-order paradefinite and connexive logics
- Paraconsistency and the need for infinite semantics
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study
- Paranegations and the square of oppositions
- Nice embedding in classical logic
- scientific article; zbMATH DE number 4019026 (Why is no real title available?)
- Four simple paralogics: semantics and sequent calculi
- Embedding classical propositional logic into paralogics related to Par
- A lattice of the paracomplete calculi
- Sequent-type rejection systems for finite-valued non-deterministic logics
- On the question of the criteria for the paracompleteness of logics
- Double negation as minimal negation
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- On Ivlev's semantics for modality
- Paraconsistent and paracomplete Zermelo-Fraenkel set theory
- A non-deterministic view on non-classical negations
- Socratic proofs and paraconsistency: A case study
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
- Non-deterministic semantics for logics with a consistency operator
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 Q4487295)
