Edit Profile (opens in new tab) Kosterec, Miloš Author ID: kosterec.milos Published as: Kosterec, Miloš Documents Indexed: 4 Publications since 2017 Co-Authors 4 single-authored Serials 2 Synthese 1 Journal of Philosophical Logic 1 Journal of Applied Non-Classical Logics Fields 4 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 5 times in 4 Documents Cited by ▼ Year ▼ Substitution contradiction, its resolution and the Church-Rosser theorem in TIL. Zbl 1484.03006 Kosterec, Miloš 3 2020 On the number of types. Zbl 1417.03079 Kosterec, Miloš 2 2017 Substitution contradiction, its resolution and the Church-Rosser theorem in TIL. Zbl 1484.03006 Kosterec, Miloš 3 2020 On the number of types. Zbl 1417.03079 Kosterec, Miloš 2 2017 Cited by 3 Authors 2 Kosterec, Miloš 1 Jespersen, Bjørn 1 Pezlar, Ivo Cited in 4 Serials 1 Journal of Philosophical Logic 1 Synthese 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics Cited in 1 Field 4 Mathematical logic and foundations (03-XX) Citations by Year