A Gentzen Calculus for Nothing but the Truth

Stefan Wintein, R Muskens

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)
Original languageEnglish
Pages (from-to)451-465
Number of pages15
JournalJournal of Philosophical Logic
Volume45
Issue number4
Publication statusPublished - 2016

Cite this