scientific article; zbMATH DE number 5997427
From MaRDI portal
Publication:3112285
Recommendations
- scientific article; zbMATH DE number 2020147
- Paraconsistent double negations as classical and intuitionistic negations
- scientific article; zbMATH DE number 823606
- scientific article; zbMATH DE number 2019860
- A simple cut-free system for a paraconsistent logic equivalent to S5
- Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law
- Paraconsistent double negation as a modal operator
- scientific article; zbMATH DE number 4142013
- Proof systems combining classical and paraconsistent negations
- Paraconsistent logic: consistency, contradiction and negation
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 Q3112285)