An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi Norihiro Kamide OriginalPaper 03 July 2022 Pages: 389 - 417
First-order Logics of Evidence and Truth with Constant and Variable Domains Abilio RodriguesHenrique Antunes OriginalPaper 23 June 2022 Pages: 419 - 449
A Modern Rigorous Approach to Stratification in NF/NFU Tin AdlešićVedran Čačić OriginalPaper 20 August 2022 Pages: 451 - 468
Maximum Segments as Natural Deduction Images of Some Cuts Mirjana Borisavljević OriginalPaper 23 August 2022 Pages: 499 - 533