共 79 条
- [11] Miller DA(2019)Universal (meta-)logical reasoning: recent successes Sci. Comput. Prog. 172 48-62
- [12] Cohen EL(2004)Higher-order semantics and extensionality J. Symb. Log. 69 1027-1088
- [13] Pfenning F(2010)Multimodal and intuitionistic logics in simple type theory Logic J. IGPL 18 881-892
- [14] Bachmair L(2013)Quantified multimodal logics in simple type theory Logica Univ. 7 7-20
- [15] Ganzinger H(2015)The higher-order prover LEO-II J. Autom. Reason. 55 389-404
- [16] Barcan RC(2017)Computer-assisted analysis of the Anderson-Hájek ontological controversy Logica Univ. 11 139-151
- [17] Benzmüller C(2017)Experiments in computational metaphysics: Gödel’s proof of God’s existence Savijnanam scientific exploration for a spiritual paradigm J. Bhaktivedanta Inst. 9 43-57
- [18] Benzmüller C(2013)Extending Sledgehammer with SMT solvers J. Autom. Reason. 51 109-128
- [19] Benzmüller C(1972)Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem INDAG. Math 34 381-392
- [20] Benzmüller C(2003)A linear spine calculus J. Log. Comput. 13 639-688