Edit Profile Czermak, Johannes Compute Distance To: Compute Author ID: czermak.johannes Published as: Czermak, J.; Czermak, Johannes Documents Indexed: 15 Publications since 1974, including 4 Books all top 5 Co-Authors 10 single-authored 2 Eigenthaler, Günther 2 Muller, Winfried B. 2 Świȩtorzecka, Kordula 1 Dorfer, Gerhard 1 Kaiser, Hans K. 1 Morscher, Edgar 1 Nöbauer, Wilfried 1 Schoißengeier, Johannes 1 Weingartner, Paul all top 5 Serials 2 Notre Dame Journal of Formal Logic 2 Studia Logica 2 Contributions to General Algebra 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Journal of Philosophical Logic 1 Logique et Analyse. Nouvelle Série 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Journal of Applied Non-Classical Logics 1 Schriftenreihe der Wittgenstein-Gesellschaft all top 5 Fields 13 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 12 times in 11 Documents Cited by ▼ Year ▼ A remark on Gentzen’s calculus of sequents. Zbl 0314.02026Czermak, Johannes 8 1977 Embeddings of classical logic in S4. Zbl 0345.02014Czermak, J. 2 1975 Embeddings of classical logic in S4. II. Zbl 0359.02013Czermak, Johannes 1 1976 Interpolation theorem for some modal logics. Zbl 0311.02030Czermak, J. 1 1975 A remark on Gentzen’s calculus of sequents. Zbl 0314.02026Czermak, Johannes 8 1977 Embeddings of classical logic in S4. II. Zbl 0359.02013Czermak, Johannes 1 1976 Embeddings of classical logic in S4. Zbl 0345.02014Czermak, J. 2 1975 Interpolation theorem for some modal logics. Zbl 0311.02030Czermak, J. 1 1975 all top 5 Cited by 15 Authors 1 Aoyama, Hiroshi 1 Bellin, Gianluigi 1 Carrara, Massimiliano 1 Chiffi, Daniele 1 Cornejo, Juan Manuel 1 Czermak, Johannes 1 Estrada-González, Luis 1 Humberstone, Lloyd 1 Kamide, Norihiro 1 Menti, Alessandro 1 Odintsov, Sergei D. 1 Shramko, Yaroslav V. 1 Urbas, Igor 1 Wansing, Heinrich Theodor 1 Zeilberger, Noam all top 5 Cited in 6 Serials 3 Notre Dame Journal of Formal Logic 2 Studia Logica 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Logic and Logical Philosophy 1 The Review of Symbolic Logic Cited in 5 Fields 11 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Computer science (68-XX) Citations by Year