共 50 条
- [44] Terminating Calculi for Propositional Dummett Logic with Subformula Property Journal of Automated Reasoning, 2014, 52 : 67 - 97
- [46] Irreflexive modality as a new logical connective in the Dummett logic Siberian Mathematical Journal, 2014, 55 : 185 - 190
- [49] Language, thought, and logic: Essays in honour of Michael Dummett REVIEW OF METAPHYSICS, 2000, 53 (03): : 701 - 703