Inferential Semantics, Paraconsistency, and Preservation of Evidence
From MaRDI portal
Publication:3305663
DOI10.1007/978-3-030-25365-3_9zbMath1469.03071OpenAlexW2998715245MaRDI QIDQ3305663
Abilio Rodrigues, Walter Alexandre Carnielli
Publication date: 10 August 2020
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_9
Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)
Cites Work
- Intuitionism. An introduction
- Constructive negations and paraconsistency
- A semantical analysis of the calculi \(C_n\)
- Paraconsistent logic: consistency, contradiction and negation
- Constructible falsity and inexact predicates
- Logics of Formal Inconsistency
- On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Inferential Semantics, Paraconsistency, and Preservation of Evidence
