A Gentzen calculus for nothing but the truth
DOI10.1007/S10992-015-9385-3zbMATH Open1392.03032OpenAlexW1927935113WikidataQ59461608 ScholiaQ59461608MaRDI QIDQ312499FDOQ312499
Stefan Wintein, Reinhard A. Muskens
Publication date: 15 September 2016
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-015-9385-3
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Title not available (Why is that?)
- Sequents in many valued logic I
- On partial and paraconsistent logics
- Title not available (Why is that?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- The value of the four values
- Reasoning with logical bilattices
- Nothing but the truth
- Title not available (Why is that?)
- Belnap's Four-Valued Logic and De Morgan Lattices
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Generalizing functional completeness in Belnap-Dunn logic
Cited In (7)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Non-distributive relatives of ETL and NFL
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- Interpolation methods for Dunn logics and their extensions
- Structural rules for multi-valued logics
- The value of the one value: \textit{exactly true logic} revisited
- 40 years of FDE: an introductory overview
This page was built for publication: A Gentzen calculus for nothing but the truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q312499)
