Analytic Calculi for Monadic PNmatrices

摘要

Analytic calculi are a valuable tool for a logic, as they allow for effective proof-search and decidability results. We study the axiomatization of generalized consequence relations determined by monadic partial non-deterministic matrices (PNmatrices). We show that simple axiomatizations can always be obtained, using inference rules which can have more than one conclusion. Further, we prove that these axiomatizations are always analytic, which seems to raise a contrast with recent non-analyticity results for sequent-calculi with PNmatrix semantics.