Publisher
Springer International Publishing
Reference70 articles.
1. Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)
2. Barker, C.: The dynamics of vagueness. Linguist. Philos. 25(1), 1–36 (2002)
3. Beelsey, K.: Evaluative adjectives as one-place predicates in Montague grammar. J. Semant. 3–4, 195–249 (1982)
4. Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (2000)
5. Davis, E., Morgenstern, L.: Introduction: progress in formal commonsense reasoning. Artif. Intell. 153, 1–12 (2004)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献