Syntactical and semantical characterization of a class of paraconsistent logics
From MaRDI portal
Recommendations
Cited in
(20)- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
- A characterisation of some \(\mathbf{Z}\)-like logics
- Paraconsistency and plausible argumentation in generative grammar: A case study
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- How the Validity of the Parallel Inference is Possible: From the Ancient Mohist Diagnose to a Modern Logical Treatment of Its Semantic-Syntactic Structure
- k-transforms in classical and paraconsistent logics
- scientific article; zbMATH DE number 5001191 (Why is no real title available?)
- scientific article; zbMATH DE number 2019874 (Why is no real title available?)
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
- scientific article; zbMATH DE number 6154334 (Why is no real title available?)
- Weakening and extending \(\mathbb{Z}\)
- Negative modalities in the light of paraconsistency
- Sub-classical Boolean Bunched Logics and the Meaning of Par
- Paraconsitent logics obtained by J.-Y. Béziau's method by means of some non-normal modal logics
- scientific article; zbMATH DE number 2213624 (Why is no real title available?)
- Connexive negation
- Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
- Nested sequent calculi for some modal logics with non-standard modalities
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
This page was built for publication: Syntactical and semantical characterization of a class of paraconsistent logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3435252)
