Edit Profile (opens in new tab) Rautenberg, Wolfgang Compute Distance To: Compute Author ID: rautenberg.wolfgang Published as: Rautenberg, Wolfgang; Rautenberg, W. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 68 Publications since 1960, including 10 Books 2 Contributions as Editor Co-Authors: 13 Co-Authors with 18 Joint Publications 160 Co-Co-Authors all top 5 Co-Authors 49 single-authored 7 Hauschild, Kurt 4 Herre, Heinrich 2 Korec, Ivan 2 Lenski, Wolfgang 2 Müller, Gert Heinz 1 Asser, Günter 1 Franzke, Norbert 1 Jahns, C. 1 Klötzer, G. 1 Peretyat’kin, Mikhail G. 1 Quaisser, Erhard 1 Wolter, Frank 1 Zakharyaschev, Michael Viktorovich all top 5 Serials 14 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 8 Bulletin of the Section of Logic 7 Studia Logica 6 Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe 3 Mathematische Semesterberichte 3 Fundamenta Mathematicae 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Algebra Universalis 2 Mathematische Nachrichten 2 Mathematisch-Physikalische Semesterberichte, Neue Folge 2 Universitext 2 Perspectives in Mathematical Logic 1 Journal of Philosophical Logic 1 Mathematische Zeitschrift 1 Mitteilungen der Mathematischen Gesellschaft der Deutschen Demokratischen Republik 1 Reports on Mathematical Logic 1 Archive for Mathematical Logic 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Berliner Studienreihe zur Mathematik 1 Logik und Grundlagen der Mathematik all top 5 Fields 52 Mathematical logic and foundations (03-XX) 7 Combinatorics (05-XX) 6 General algebraic systems (08-XX) 5 General and overarching topics; collections (00-XX) 5 Computer science (68-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 48 Publications have been cited 240 times in 185 Documents Cited by ▼ Year ▼ Klassische und nichtklassische Aussagenlogik. Zbl 0424.03007Rautenberg, Wolfgang 53 1979 Modal tableau calculi and interpolation. Zbl 0547.03015Rautenberg, Wolfgang 31 1983 2-element matrices. Zbl 0493.03006Rautenberg, Wolfgang 24 1981 Splitting lattices of logics. Zbl 0453.03017Rautenberg, Wolfgang 21 1980 Der Verband der normalen verzweigten Modallogiken. Zbl 0414.03011Rautenberg, W. 16 1977 On reduced matrices. Zbl 0771.03003Rautenberg, Wolfgang 6 1993 A concise introduction to mathematical logic. 3rd revised and enlarged ed. Zbl 1185.03002Rautenberg, Wolfgang 6 2010 A calculus for the common rules of \(\wedge\) and \(\vee\). Zbl 0707.03006Rautenberg, Wolfgang 6 1989 Consequence relations of 2-element algebras. Zbl 0623.03034Rautenberg, Wolfgang 5 1985 Axiomatization of semigroup consequences. Zbl 0688.03017Rautenberg, Wolfgang 5 1989 Interpretierbarkeit in der Gruppentheorie. Zbl 0215.04801Hauschild, Kurt; Rautenberg, Wolfgang 4 1971 The elementary Archimedean schema in geometry and some of its applications. Zbl 0169.30504Rautenberg, W. 4 1968 A concise introduction to mathematical logic. 2nd ed. Zbl 1093.03001Rautenberg, Wolfgang 3 2006 Elementare Schemata nichtelementarer Axiome. Zbl 0207.29604Rautenberg, W. 3 1967 Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. I. (Interpretability and decidability in graph theory. I). Zbl 0231.02058Rautenberg, Wolfgang; Hauschild, Kurt 3 1971 Model-interpretability into trees and applications. Zbl 0324.02041Korec, Ivan; Rautenberg, Wolfgang 3 1976 Über metatheoretische Eigenschaften einiger geometrischer Theorien. Zbl 0112.24701Rautenberg, W. 3 1962 Orthogonalitätsrelationen in der affinen Geometrie. Zbl 0181.23302Rautenberg, W.; Quaisser, E. 3 1969 Common logic of 2-valued semigroup connectives. Zbl 0741.03003Rautenberg, Wolfgang 2 1991 Strongly finitely based equational theories. Zbl 0742.08004Rautenberg, W. 2 1991 Axiomatization of the De Morgan type rules. Zbl 0721.03006Herrmann, B.; Rautenberg, W. 2 1990 Finite replacement and finite Hilbert-style axiomatizability. Zbl 0813.03005Herrmann, B.; Rautenberg, W. 2 1992 Introduction to mathematical logic. A textbook considering logic programming. (Einführung in die mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung.) Zbl 0866.03001Rautenberg, Wolfgang 2 1996 Propositional logic based on the dynamics of disbelief. Zbl 0925.03109Pearce, David; Rautenberg, Wolfgang 2 1991 Definability in structures of finite valency. Zbl 0276.02036Korec, I.; Peretyat’kin, M. G.; Rautenberg, W. 2 1974 More about the lattice of tense logics. Zbl 0411.03015Rautenberg, Wolfgang 2 1979 Applications of weak Kripke semantics to intermediate consequences. Zbl 0635.03020Rautenberg, Wolfgang 2 1986 Beweis des Kommutativgesetzes in elementar-archimedisch geordneten Gruppen. Zbl 0135.24901Rautenberg, W. 2 1965 Euklidische und Minkowskische Orthogonalitätsrelationen. Zbl 0176.17304Rautenberg, W. 2 1969 Incompleteness, undecidability, undefinability. (Unvollständigkeit, Unentscheidbarkeit, Nichtdefinierbarkeit.) Zbl 0747.03001Rautenberg, Wolfgang 1 1991 Axiomatizing logics closely related to varieties. Zbl 0749.03020Rautenberg, W. 1 1991 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 Measuring and counting. A simple construction of real numbers. (Messen und Zählen. Eine einfache Konstruktion der reellen Zahlen.) Zbl 1229.00001Rautenberg, Wolfgang 1 2007 Introduction to mathematical logic. A textbook. 3rd revised ed. (Einführung in die mathematische Logik. Ein Lehrbuch.) Zbl 1152.03002Rautenberg, Wolfgang 1 2008 Axiomatische Theorie der Translationsgruppen affiner Räume und Translationsebenen. Zbl 0203.23001Rautenberg, W. 1 1970 Elementary foundations of analysis. (Elementare Grundlagen der Analysis.) Zbl 0824.00001Rautenberg, Wolfgang 1 1993 A note on implicational intermediate consequences. Zbl 0584.03017Rautenberg, W. 1 1985 Entscheidbarkeit der monadischen Theorie 2. Stufe der n-separierten Graphen. Zbl 0264.02046Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang 1 1972 Universelle Interpretierbarkeit in Verbänden. Zbl 0275.02043Hauschild, Kurt; Rautenberg, Wolfgang 1 1970 Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. II. Zbl 0284.02023Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang 1 1972 The common rules of binary connectives are finitely based. Zbl 0673.03022Rautenberg, Wolfgang 1 1989 The lattice of normal modal logics (Preliminary report). Zbl 0404.03055Rautenberg, Wolfgang 1 1977 Zur Approximation von e durch \((1+1/n)^ n\). (On the approximation of e by \((1+1/n)^ n)\). Zbl 0632.26002Rautenberg, Wolfgang 1 1986 Ein Verfahren zur Axiomatisierung der Kontradiktionen gewisser zweiwertiger Aussagenkalküle. Zbl 0095.00701Asser, Günter; Rautenberg, W. 1 1960 Bemerkung zur Axiomatik der Vektorgeometrie. Zbl 0117.37503Rautenberg, W. 1 1963 Ein Beweis des Satzes von Pappus-Pascal in der affinen Geometrie. Zbl 0132.14301Rautenberg, W. 1 1965 Unentscheidbarkeit der Euklidischen Inzidenzgeometrie. Zbl 0166.26304Rautenberg, W. 1 1961 Konstruktionen in der hyperbolischen Geometrie. Zbl 0173.48202Rautenberg, W. 1 1963 A concise introduction to mathematical logic. 3rd revised and enlarged ed. Zbl 1185.03002Rautenberg, Wolfgang 6 2010 Introduction to mathematical logic. A textbook. 3rd revised ed. (Einführung in die mathematische Logik. Ein Lehrbuch.) Zbl 1152.03002Rautenberg, Wolfgang 1 2008 Measuring and counting. A simple construction of real numbers. (Messen und Zählen. Eine einfache Konstruktion der reellen Zahlen.) Zbl 1229.00001Rautenberg, Wolfgang 1 2007 A concise introduction to mathematical logic. 2nd ed. Zbl 1093.03001Rautenberg, Wolfgang 3 2006 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 Introduction to mathematical logic. A textbook considering logic programming. (Einführung in die mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung.) Zbl 0866.03001Rautenberg, Wolfgang 2 1996 On reduced matrices. Zbl 0771.03003Rautenberg, Wolfgang 6 1993 Elementary foundations of analysis. (Elementare Grundlagen der Analysis.) Zbl 0824.00001Rautenberg, Wolfgang 1 1993 Finite replacement and finite Hilbert-style axiomatizability. Zbl 0813.03005Herrmann, B.; Rautenberg, W. 2 1992 Common logic of 2-valued semigroup connectives. Zbl 0741.03003Rautenberg, Wolfgang 2 1991 Strongly finitely based equational theories. Zbl 0742.08004Rautenberg, W. 2 1991 Propositional logic based on the dynamics of disbelief. Zbl 0925.03109Pearce, David; Rautenberg, Wolfgang 2 1991 Incompleteness, undecidability, undefinability. (Unvollständigkeit, Unentscheidbarkeit, Nichtdefinierbarkeit.) Zbl 0747.03001Rautenberg, Wolfgang 1 1991 Axiomatizing logics closely related to varieties. Zbl 0749.03020Rautenberg, W. 1 1991 Axiomatization of the De Morgan type rules. Zbl 0721.03006Herrmann, B.; Rautenberg, W. 2 1990 A calculus for the common rules of \(\wedge\) and \(\vee\). Zbl 0707.03006Rautenberg, Wolfgang 6 1989 Axiomatization of semigroup consequences. Zbl 0688.03017Rautenberg, Wolfgang 5 1989 The common rules of binary connectives are finitely based. Zbl 0673.03022Rautenberg, Wolfgang 1 1989 Applications of weak Kripke semantics to intermediate consequences. Zbl 0635.03020Rautenberg, Wolfgang 2 1986 Zur Approximation von e durch \((1+1/n)^ n\). (On the approximation of e by \((1+1/n)^ n)\). Zbl 0632.26002Rautenberg, Wolfgang 1 1986 Consequence relations of 2-element algebras. Zbl 0623.03034Rautenberg, Wolfgang 5 1985 A note on implicational intermediate consequences. Zbl 0584.03017Rautenberg, W. 1 1985 Modal tableau calculi and interpolation. Zbl 0547.03015Rautenberg, Wolfgang 31 1983 2-element matrices. Zbl 0493.03006Rautenberg, Wolfgang 24 1981 Splitting lattices of logics. Zbl 0453.03017Rautenberg, Wolfgang 21 1980 Klassische und nichtklassische Aussagenlogik. Zbl 0424.03007Rautenberg, Wolfgang 53 1979 More about the lattice of tense logics. Zbl 0411.03015Rautenberg, Wolfgang 2 1979 Der Verband der normalen verzweigten Modallogiken. Zbl 0414.03011Rautenberg, W. 16 1977 The lattice of normal modal logics (Preliminary report). Zbl 0404.03055Rautenberg, Wolfgang 1 1977 Model-interpretability into trees and applications. Zbl 0324.02041Korec, Ivan; Rautenberg, Wolfgang 3 1976 Definability in structures of finite valency. Zbl 0276.02036Korec, I.; Peretyat’kin, M. G.; Rautenberg, W. 2 1974 Entscheidbarkeit der monadischen Theorie 2. Stufe der n-separierten Graphen. Zbl 0264.02046Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang 1 1972 Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. II. Zbl 0284.02023Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang 1 1972 Interpretierbarkeit in der Gruppentheorie. Zbl 0215.04801Hauschild, Kurt; Rautenberg, Wolfgang 4 1971 Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. I. (Interpretability and decidability in graph theory. I). Zbl 0231.02058Rautenberg, Wolfgang; Hauschild, Kurt 3 1971 Axiomatische Theorie der Translationsgruppen affiner Räume und Translationsebenen. Zbl 0203.23001Rautenberg, W. 1 1970 Universelle Interpretierbarkeit in Verbänden. Zbl 0275.02043Hauschild, Kurt; Rautenberg, Wolfgang 1 1970 Orthogonalitätsrelationen in der affinen Geometrie. Zbl 0181.23302Rautenberg, W.; Quaisser, E. 3 1969 Euklidische und Minkowskische Orthogonalitätsrelationen. Zbl 0176.17304Rautenberg, W. 2 1969 The elementary Archimedean schema in geometry and some of its applications. Zbl 0169.30504Rautenberg, W. 4 1968 Elementare Schemata nichtelementarer Axiome. Zbl 0207.29604Rautenberg, W. 3 1967 Beweis des Kommutativgesetzes in elementar-archimedisch geordneten Gruppen. Zbl 0135.24901Rautenberg, W. 2 1965 Ein Beweis des Satzes von Pappus-Pascal in der affinen Geometrie. Zbl 0132.14301Rautenberg, W. 1 1965 Bemerkung zur Axiomatik der Vektorgeometrie. Zbl 0117.37503Rautenberg, W. 1 1963 Konstruktionen in der hyperbolischen Geometrie. Zbl 0173.48202Rautenberg, W. 1 1963 Über metatheoretische Eigenschaften einiger geometrischer Theorien. Zbl 0112.24701Rautenberg, W. 3 1962 Unentscheidbarkeit der Euklidischen Inzidenzgeometrie. Zbl 0166.26304Rautenberg, W. 1 1961 Ein Verfahren zur Axiomatisierung der Kontradiktionen gewisser zweiwertiger Aussagenkalküle. Zbl 0095.00701Asser, Günter; Rautenberg, W. 1 1960 all cited Publications top 5 cited Publications all top 5 Cited by 145 Authors 15 Maksimova, Larisa L’vovna 15 Rautenberg, Wolfgang 14 Kamide, Norihiro 8 Kracht, Marcus 7 Humberstone, Lloyd 6 Pambuccian, Victor V. 5 Bezhanishvili, Guram 5 Bezhanishvili, Nick 5 Moraschini, Tommaso 5 Nguyen, Linh Anh 5 Wolter, Frank 5 Yun, Veta Fëdorovna 4 Blok, Willem Johannes 4 Kurahashi, Taishi 4 Wansing, Heinrich Theodor 3 Dzik, Wojciech 3 Goré, Rajeev Prabhakar 3 Jansana, Ramon 3 Karpenko, Anastasia Valer’evna 3 Odintsov, Sergei P. 3 Pałasińska, Katarzyna 3 Szałas, Andrzej 3 Zakharyaschev, Michael Viktorovich 2 Blackburn, Patrick 2 Czelakowski, Janusz 2 Düntsch, Ivo 2 Font, Josep Maria 2 Herre, Heinrich 2 Humberstone, I. L. 2 Korec, Ivan 2 Marcelino, Sérgio 2 Marcos, João 2 Marx, Maarten 2 Orłowska, Ewa S. 2 Pattinson, Dirk 2 Piazza, Mario 2 Pigozzi, Don Leonard 2 Pulcini, Gabriele 2 Rybakov, Vladimir Vladimirovich 2 Schacht, Celia 2 Schröder, Lutz 2 Schurz, Gerhard 2 Seese, Detlef G. 2 Shramko, Yaroslav V. 2 Stronkowski, Michał Marek 2 Wojtylak, Piotr 1 Albuquerque, Hugo 1 Amerbauer, Martin 1 Avigad, Jeremy 1 Avron, Arnon 1 Baek, Seulkee 1 Baker, Kirby A. 1 Baudisch, Andreas 1 Baumann, Ringo 1 Beklemishev, Lev D. 1 Bellissima, Fabio 1 Bentkamp, Alexander 1 Béziau, Jean-Yves 1 Blatter, Christian 1 Botoeva, Elena 1 Bukor, József 1 Burghardt, F. J. 1 Caleiro, Carlos 1 Carter, Nathan C. 1 Chagrov, Aleksandr Vasil’evich 1 Chen, Qian 1 Citkin, Alex 1 Compton, Kevin J. 1 D’Agostino, Giovanna 1 Demri, Stéphane P. 1 Du, Shan 1 Dunin-Kȩplicz, Barbara 1 Dziobiak, Wiesław 1 Erickson, Jeff 1 Flores, Ramón J. 1 Furmanowski, Tomasz 1 Gabelaia, David 1 Goranko, Valentin F. 1 Grabmayr, Balthasar 1 Greati, Vitor 1 Guzmán, Fernando 1 Hauschild, Kurt 1 Henson, C. Ward 1 Heule, Marijn J. H. 1 Hliněný, Petr 1 Holliday, Wesley H. 1 Hustadt, Ullrich 1 Iemhoff, Rosalie 1 Ilin, Julia 1 Jeřábek, Emil 1 Kahrobaei, Delaram 1 Kaneiwa, Ken 1 Kang, Hongkui 1 Karzel, Helmut 1 Kesel’man, D. Ya. 1 Koberda, Thomas 1 Koepf, Wolfram A. 1 Köhler, Peter 1 Konev, Boris 1 Kost, Sławomir ...and 45 more Authors all top 5 Cited in 48 Serials 39 Studia Logica 15 Journal of Philosophical Logic 13 The Journal of Symbolic Logic 9 Annals of Pure and Applied Logic 8 The Review of Symbolic Logic 7 Siberian Mathematical Journal 6 Algebra Universalis 5 Algebra and Logic 5 Archive for Mathematical Logic 5 Journal of Applied Non-Classical Logics 3 Artificial Intelligence 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Notre Dame Journal of Formal Logic 3 Theoretical Computer Science 3 Journal of Applied Logic 3 Logica Universalis 2 International Journal of Theoretical Physics 2 Mathematical Notes 2 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 2 Journal of Algebra 2 Mathematische Nachrichten 2 History and Philosophy of Logic 2 Journal of Logic, Language and Information 2 Logic and Logical Philosophy 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 American Mathematical Monthly 1 Israel Journal of Mathematics 1 Journal of Mathematical Analysis and Applications 1 Mathematische Semesterberichte 1 Periodica Mathematica Hungarica 1 Journal of Geometry 1 Journal of Soviet Mathematics 1 Rendiconti del Seminario Matematico della Università di Padova 1 Results in Mathematics 1 Semigroup Forum 1 Synthese 1 New Generation Computing 1 Information and Computation 1 Journal of Automated Reasoning 1 Elemente der Mathematik 1 Expositiones Mathematicae 1 Mathematical Logic Quarterly (MLQ) 1 Annals of Mathematics and Artificial Intelligence 1 Soft Computing 1 Analysis (München) 1 Journal of Multiple-Valued Logic and Soft Computing 1 Logical Methods in Computer Science 1 Logicheskie Issledovaniya all top 5 Cited in 19 Fields 165 Mathematical logic and foundations (03-XX) 20 General algebraic systems (08-XX) 17 Computer science (68-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 8 Group theory and generalizations (20-XX) 8 Geometry (51-XX) 7 Combinatorics (05-XX) 6 History and biography (01-XX) 2 Number theory (11-XX) 2 Real functions (26-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) 1 Special functions (33-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.