Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference15 articles.
1. Bankston, P. (2003). Modelling nonintersective adjectives using operator logics. Review of Modern Logic, 9(1–2), 9–28.
2. Francez, N. (2014a). Harmony in multiple-conclusions natural-deduction. Logica Universalis, 8(2), 215–259. doi: 10.1007/s11787-014-0103-7 .
3. Francez, N. (2014b). A proof-theoretic semantics for contextual domain restriction. Journal of Language modelling, 2(2), 249–283.
4. Francez, N. (2014c). Views of proof-theoretic semantics: Reified proof-theoretic meanings. Journal of Computational Logic. Special issue in honour of Roy Dyckhoff. doi: 10.1093/logcom/exu035 .
5. Francez, N. (2015a). On distinguishing proof-theoretic consequence from derivability. Logique et Analysis (to appear).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献