The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (Q1332144)

Explicating entailment in terms of commitments, the authors stress the normative character of logical theory. Using natural deduction (Fitch style) and algebraic semantics (Kripke style), they present four axiomatizations of entailment (the only connectives being conjunction and implication) and connect them with particular constraints concerning the degree of embedding of commitments. A ``relevance'' version will be explained in the forthcoming second part of the article.