共 12 条
- [1] MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY [J]. REVIEW OF SYMBOLIC LOGIC, 2011, 4 (02): : 326 - 336
- [3] Brandom Robert, 2000, Articulating reasons: An introduction to inferentialism
- [4] Carnap Rudolf., 1943, Formalization of Logic
- [5] Cintula Petr., 2016, SYNTHESE, P1
- [6] Dummett M., 1973, FREGE PHILOS LANGUAG
- [7] Dummett Michael., 1991, The Logical Basis of Metaphysics
- [8] GENTZEN G, 1964, AM PHILOS QUART, V1, P288
- [9] Kneale W., 1956, CONT BRIT PHILOS, P237
- [10] Restall Greg, SPEECH ACT QUEST NAT