The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility (Q5957421): Difference between revisions

[For Parts I and II see ibid. 23, 369-400 (1994; Zbl 0809.03001) and ibid. 25, 425-449 (1996; Zbl 0860.03009), respectively.] The content of Brandomian logical connectives is most naturally captured by a system of linear logic. In order to express ``committively implies'' in terms of incompatibility a ``minimal incompatibility entailment logic'' (MIE) is introduced and proved to be sound and complete.