
17Structural proof theory for firstorder weak Kleene logicsJournal of Applied NonClassical Logics 30 (3): 272289. 2020.This paper presents a sound and complete fivesided sequent calculus for firstorder weak Kleene valuations which permits not only elegant representations of four logics definable on firstorder weak Kleene valuations, but also admissibility of five cut rules by proof analysis.

11A note on the cutelimination proof in “truth without contraction”Review of Symbolic Logic 13 (4): 882886. 2020.This note shows that the permutation instructions presented by Zardini for eliminating cuts on universally quantified formulas in the sequent calculus for the noncontractive theory of truth IKTω are inadequate. To that purpose the note presents a derivation in the sequent calculus for IKTω ending with an application of cut on a universally quantified formula which the permutation instructions cannot deal with. The counterexample is of the kind that leaves open the question whether cut can be sho…Read more

17Herzberger’s Limit Rule with Labelled Sequent CalculusStudia Logica 108 (4): 815855. 2020.Inspired by recent work on proof theory for modal logic, this paper develops a cutfree labelled sequent calculus obtained by imitating Herzberger’s limit rule for revision sequences as a clause in a possible world semantics. With the help of two completeness theorems, one between the labelled sequent calculus and the corresponding possible world semantics, and one between the axiomatic theory of truth PosFS and a neighbourhood semantics, together with the proof of the equivalence between the tw…Read more

57Naive Modus Ponens and Failure of TransitivityJournal of Philosophical Logic 45 (1): 6572. 2016.In the recent paper “Naive modus ponens”, Zardini presents some brief considerations against an approach to semantic paradoxes that rejects the transitivity of entailment. The problem with the approach is, according to Zardini, that the failure of a metainference closely resembling modus ponens clashes both with the logical idea of modus ponens as a valid inference and the semantic idea of the conditional as requiring that a true conditional cannot have true antecedent and false consequent. I r…Read more

19Nonclassical Elegance for Sequent Calculus EnthusiastsStudia Logica 105 (1): 93119. 2017.In this paper we develop what we can describe as a “dual twosided” cutfree sequent calculus system for the nonclassical logics of truth lp, k3, stt and a nonreflexive logic ts which is, arguably, more elegant than the threesided sequent calculus developed by Ripley for the same logics. Its elegance stems from how it employs more or less the standard sequent calculus rules for the various connectives and truth, and the fact that it offers a rather neat connection between derivable sequents a…Read more

15Omegainconsistency without cuts and nonstandard modelsAustralasian Journal of Logic 13 (5). 2016.This paper concerns the relationship between transitivity of entailment, omegainconsistency and nonstandard models of arithmetic. First, it provides a cutfree sequent calculus for nontransitive logic of truth STT based on Robinson Arithmetic and shows that this logic is omegainconsistent. It then identifies the conditions in McGee for an omegainconsistent logic as quantified standard deontic logic, presents a cutfree labelled sequent calculus for quantified standard deontic logic based on …Read more
Helsinki, Finland
Areas of Interest
Philosophy of Language 
Logic and Philosophy of Logic 
Philosophy of Social Science 