Author:
Jacinto Bruno,Read Stephen
Funder
Fundação para a Ciência e a Tecnologia
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference44 articles.
1. Blamey, S., and L. Humberstone, A perspective on modal sequent logic, Publications of the Research Institute for Mathematical Sciences, Kyoto University 27:763-82, 1991.
2. Cutland N. J., Gibbins P. F.: A regular sequent calculus for quantum logic in which $${\wedge}$$ ∧ and $${\vee}$$ ∨ are dual. Logique et Analyse 25, 221–248 (1982)
3. Davies R., Pfenning F.: A modal analysis of staged computation. Journal of the ACM 48, 555–604 (2001)
4. Dummett M.: Frege: Philosophy of Language. Duckworth, London (1973)
5. Dummett M.: Elements of Intuitionism. Oxford UP, Oxford (1977)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献