Labelled sequent calculi for logics of strict implication

n this paper we study the proof theory of C.I. Lewis’ logics of strict conditional S1- S5 and we propose the first modular and uniform presentation of C.I. Lewis’ systems. In particular, for each logic Sn we present a labelled sequent calculus G3Sn and we discuss its structural properties: every rule is height-preserving invertible and the structural rules of weakening, contraction and cut are admissible. Completeness of G3Sn is established both indirectly via the embedding in the axiomatic system Sn and directly via the extraction of a countermodel out of a failed proof search. Finally, the sequent calculus G3S1 is employed to obtain a syntactic proof of decidability of S1

Relevant Logics Obeying Component Homogeneity

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

International audienceThe preferential conditional logic PCL, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalise Lewis' sphere models for counterfactual logics, is proposed. Soundness and completeness of PCL and its extensions with respect to this class of models are proved directly. Labelled sequent calculi for all logics of the family are then introduced. The cal-culi are modular and have standard proof-theoretical properties, the most important of which is admissibility of cut, that entails a syntactic proof of completeness of the calculi. By adopting a general strategy, root-first proof search terminates, thereby providing a decision procedure for PCL and its extensions. Finally, the semantic completeness of the calculi is established: from a finite branch in a failed proof attempt it is possible to extract a finite countermodel of the root sequent. The latter result gives a constructive proof of the finite model property of all the logics considered