×

Modern Logic

A Journal for the History, Philosophy, Invention, and Pedagogy of Modern Logic, Set Theory, and the Foundations of Mathematics

Short Title: Mod. Log.
Publisher: Marquette University, Department of Mathematics, Statistics and Computer Science, Milwaukee, WI
ISSN: 1047-5982
Online: http://projecteuclid.org/all/euclid.rml
Successor: The Review of Modern Logic
Comments: Journal; No longer indexed; This journal is available open access.
Documents Indexed: 136 Publications (1990–2001)
all top 5

Authors

37 Anellis, Irving Henry
5 Bazhanov, Valentin A.
5 Thiel, Christian
4 Drucker, Thomas L.
4 Peckhaus, Volker
3 Abeles, Francine F.
3 Kushner, Boris A.
2 Blizard, Wayne D.
2 Dimitrić, Radoslav Milan
2 Dipert, Randall Roy
2 Frápolli, María José
2 Hawkins, Benjamin Sanford jun.
2 Houser, Nathan R.
2 Kuzicheva, Z. A.
2 Markin, Vladimir Il’ich
2 Woleński, Jan
1 Anisov, A. M.
1 Bach, Craig N.
1 Baldwin, James Mark
1 Bartol, Wiktor
1 Bashmakova, Izabella Grigor’evna
1 Béziau, Jean-Yves
1 Biryukov, B. V.
1 Biryukova, Lyubov Gavrilovna
1 Brunning, Jacqueline
1 Bueno, Otávio
1 Burdman Feferman, Anita
1 Burgin, Mark
1 Bystrov, Peter I.
1 Cavaliere, Fania
1 Corry, Leo
1 Da Costa, Newton Carneiro Affonso
1 Dathe, Uwe
1 Dawson, John W. jun.
1 Dejnožka, Jan
1 Dekker, Jacob C. E.
1 Demidov, Sergeĭ Sergeevich
1 Diller, Antoni
1 Dolgova, T. P.
1 Dzhaliashvili, Z. O.
1 Feferman, Solomon
1 Feodorov, B. N.
1 Ford, Charles E.
1 Franchella, Miriam
1 Gauthier, Yvon
1 Girard, Jean-Yves
1 Goldfarb, Warren D.
1 Green, Judy
1 Greenberg, William J.
1 Gumb, Raymond D.
1 Harkleroad, Leon
1 Holmes, M. Randall
1 Jourdain, Philip Edward Bertrand
1 Karpenko, Aleksandr Stepanovich
1 Kormin, Henry
1 Kostiouk, T.
1 Kuzichev, Alexander Sergeevich
1 Kuznetsov, V. I.
1 Lambert, Karel
1 Leonenko, Leonid
1 Markov, Andreĭ Andreevich jun.
1 Marsonet, Michele
1 Moore, Gregory H.
1 Murawski, Roman
1 Myers, Dale
1 Niiniluoto, Ilkka
1 Orłowska, Ewa S.
1 Padilla Gálvez, Jesús
1 Pascal, Blaise
1 Peirce, Benjamin
1 Peirce, Charles Sanders
1 Pla i Carrera, Josep
1 Popov, Vladimir Mikhailovich
1 Quine, Willard Van Orman
1 Rao, A. Prabhakar
1 Richman, Fred
1 Rozenfel’d, Boris Abramovich
1 Ruitenburg, Wim B. G.
1 Schenk, Günter
1 Silver, Charles L.
1 Skowron, Andrzej
1 Trakhtenbrot, Boris Avraamovich
1 Uspenskiĭ, Vladimir Andreevich
1 van Heijenoort, Jean
1 Vasyukov, Vladimir Leonidovich
1 Vilkko, Risto
1 Weaver, George E.

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 185 times in 122 Documents Cited by Year
The development of multiset theory. Zbl 0744.03054
Blizard, Wayne D.
25
1991
Ernst Schröder and the “pasigraphic systems” of Peano and Peirce. (Ernst Schröder und die “pasigraphischen Systeme” von Peano und Peirce.) Zbl 0735.01007
Peckhaus, Volker
9
1991
From semantic tableaux to Smullyan trees: A history of the development of the falsifiability tree method. Zbl 0708.01008
Anellis, Irving H.
8
1990
Lewis Carroll’s method of trees: Its origins in “Studies in logic”. Zbl 0708.01009
Abeles, Francine F.
8
1990
Herbrand’s fundamental theorem and the beginning of logic programming. Zbl 0801.03001
Abeles, Francine
8
1994
Interview with a constructive mathematician. Zbl 0862.03034
Richman, Fred
7
1996
Constructive logic and the paradoxes. Zbl 0748.03037
Ruitenburg, Wim
6
1991
Why algebra of logic? Ernst Schröder’s looking for a universal theory of compositions. (Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen.) Zbl 0812.01012
Peckhaus, Volker
6
1994
Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S.
6
1996
The Schröder-Peirce correspondence. Zbl 0735.01006
Houser, Nathan
5
1991
Forty years of “unnatural” natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi. Zbl 0744.03005
Anellis, Irving H.
5
1991
Historical development of modern logic. Zbl 0758.03004
van Heijenoort, Jean
5
1992
Herbrand’s error and Gödel’s correction. Zbl 0789.03002
Goldfarb, Warren
5
1993
Peirce Rustled, Russell Pierced: How Charles Peirce and Bertrand Russell viewed each other’s work in logic, and an assessment of Russell’s accuracy and rôle in the historiography on logic. Zbl 0830.01011
Anellis, Irving H.
4
1995
The origins of the definition of abstract rings. Zbl 1020.01003
Corry, Leo
4
2000
Jean van Heijenoort’s contributions to proof theory and its history. Zbl 0758.03002
Anellis, Irving H.
4
1992
Logic and foundations of mathematics in Peano’s school. Zbl 0767.03002
Borga, M.; Palladino, D.
4
1992
A note on “The development of multiset theory”. Zbl 0810.03045
Singh, D.
4
1994
Helena Rasiowa, 1917-1994. Zbl 0828.01009
Bartol, Wiktor; Orłowska, Ewa; Skowron, Andrzej
3
1995
Mathematical logic in Poland 1900–1939: People, circles, institutions, ideas. Zbl 0843.03001
Woleński, Jan
3
1995
Sof’ya Aleksandrovna Yanovskaya’s contributions to logic and history of logic. Zbl 0840.01054
Anellis, Irving H.
3
1996
The life and work of Ernst Schröder. Zbl 0735.01011
Dipert, Randall R.
3
1991
The set-theoretical program of Quine succeeded, but nobody noticed. Zbl 0804.03040
Holmes, M. Randall
3
1994
The imaginary geometry of N. I. Lobachevsky and the imaginary logic of N. A. Vasiliev. Zbl 0805.01011
Bazhanov, V. A.
3
1994
C. S. Peirce’s influence on the logical work of N. A. Vasiliev. Zbl 0769.03003
Bazhanov, Valentine A.
3
1992
De Morgan, Victorian syllogistic and relational logic. Zbl 0821.01016
Hawkins, Benjamin S. jun.
2
1995
In memory of S. A. Yanovskaya (1896-1966) on the centenary of her birth. Zbl 0988.01511
Trakhtenbrot, B. A.
2
1997
Reflections on the interplay between mathematics and logic. Zbl 0771.03011
Moore, Gregory H.
2
1992
Peirce and Frege, a question unanswered. Zbl 0794.01008
Hawkins, Benjamin S. jun.
2
1993
Brouwer and Griss on intuitionistic negation. Zbl 0802.03001
Franchella, Miriam
2
1994
Jan Łukasiewicz on the liar paradox, logical consequence, truth, and induction. Zbl 0812.01018
Woleński, Jan
2
1994
Sof’ya Aleksandrovna Janovskaja: a few reminiscences. Zbl 0841.01022
Kushner, Boris A.
1
1996
Vladimir Aleksandrovich Smirnov (1931–1996). Zbl 0845.01020
Bazhanov, V. A.
1
1996
A bibliography of the scientific work of V. A. Smirnov. Zbl 0986.01506
1
1997
Updates and corrections to “The development of multiset theory”. Zbl 0991.03518
Blizard, Wayne D.
1
1997
Sof’ya Aleksandrovna Yanovskaya. Zbl 1011.01512
Bashmakova, I. G.; Demidov, S. S.; Uspenskij, V. A.
1
1996
The works of Hugh MacColl and the origins of nonclassical logic. Zbl 0985.03003
Cavaliere, Fania
1
1996
The axiomatic sources of fundamental algebraic structure: The achievements of Hermann Grassmann and Robert Grassmann. Zbl 1006.01008
Biryukova, L. G.; Biryukov, B. V.
1
1997
The enigma of the infinitesimal: toward Charles L. Dodgson’s theory of infinitesimals. Zbl 0991.01011
Abeles, Francine F.
1
2001
A history of logic trees. (Editor’s note). Zbl 0708.01010
Anellis, Irving H.
1
1990
Schröder material at the Russell archives. Zbl 0735.01005
Anellis, Irving H.
1
1991
Individuals and extensional logic in Schröder’s “Vorlesungen über die Algebra der Logik”. Zbl 0855.01012
Dipert, Randall R.
1
1991
Ernst Schröder and the distribution of quantifiers. Zbl 0855.01013
Thiel, Christian
1
1991
Is Cantorian set theory an iterative conception of set? Zbl 0747.03003
Frápolli, Maria J.
1
1991
Hanf’s eulogy, 9/11/89. Zbl 0738.01014
Myers, Dale
1
1991
Jean van Heijenoort: An all too brief acquaintance. Zbl 0755.01028
Dawson, John W. jun.
1
1992
Jean van Heijenoort (1912-1986). Zbl 0755.01026
Burdman Feferman, Anita; Feferman, Solomon
1
1992
A sketch of Jean van Heijenoort’s view of the history of modern logic: Introduction to an unpublished paper. Zbl 0758.03003
Anellis, Irving H.
1
1992
The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022
Girard, Jean-Yves
1
1992
Quantification theory, logic and language (On the proposal of the “Selected essays” of Jean van Heijenoort). Zbl 0755.03004
Padilla-Gálvez, Jesus
1
1992
The status of Cantorian numbers. Zbl 0765.03003
Frápolli, Maria J.
1
1992
Definitions in nonstrict positive free logic. Zbl 0876.03013
Gumb, Raymond D.; Lambert, Karel
1
1997
Arithmetical calculator. (Machine d’arithmétique.) Zbl 0879.01014
Pascal, Blaise
1
1997
Joon Fang of Jaean – a retrospective. Zbl 0782.01022
Anellis, Irving H.
1
1993
Frege’s way from logicism to the attempt of a foundation of arithmetics. (Frege’s Weg vom Logizismus zum Versuch einer geometrischen Grundlegung der Arithmetik.) Zbl 0791.01005
Dathe, Uwe
1
1993
Memories of Mech.-Math. in ‘sixties, inspired by Uspensky’s JSL article on Kolmogorov’s work in logic. Zbl 0790.01029
Kushner, Boris A.
1
1994
Grandfather of fuzzy logic? Zbl 0803.01012
Anellis, Irving H.
1
1994
Schröder’s second proof of the independence of the second subsumption of the distributive law in logical calculus. (Schröders zweiter Beweis für die Unabhängigkeit der zweiten Subsumtion des Distributivgesetzes im logischen Kalkül.) Zbl 0812.01013
Thiel, Christian
1
1994
The enigma of the infinitesimal: toward Charles L. Dodgson’s theory of infinitesimals. Zbl 0991.01011
Abeles, Francine F.
1
2001
The origins of the definition of abstract rings. Zbl 1020.01003
Corry, Leo
4
2000
In memory of S. A. Yanovskaya (1896-1966) on the centenary of her birth. Zbl 0988.01511
Trakhtenbrot, B. A.
2
1997
A bibliography of the scientific work of V. A. Smirnov. Zbl 0986.01506
1
1997
Updates and corrections to “The development of multiset theory”. Zbl 0991.03518
Blizard, Wayne D.
1
1997
The axiomatic sources of fundamental algebraic structure: The achievements of Hermann Grassmann and Robert Grassmann. Zbl 1006.01008
Biryukova, L. G.; Biryukov, B. V.
1
1997
Definitions in nonstrict positive free logic. Zbl 0876.03013
Gumb, Raymond D.; Lambert, Karel
1
1997
Arithmetical calculator. (Machine d’arithmétique.) Zbl 0879.01014
Pascal, Blaise
1
1997
Interview with a constructive mathematician. Zbl 0862.03034
Richman, Fred
7
1996
Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S.
6
1996
Sof’ya Aleksandrovna Yanovskaya’s contributions to logic and history of logic. Zbl 0840.01054
Anellis, Irving H.
3
1996
Sof’ya Aleksandrovna Janovskaja: a few reminiscences. Zbl 0841.01022
Kushner, Boris A.
1
1996
Vladimir Aleksandrovich Smirnov (1931–1996). Zbl 0845.01020
Bazhanov, V. A.
1
1996
Sof’ya Aleksandrovna Yanovskaya. Zbl 1011.01512
Bashmakova, I. G.; Demidov, S. S.; Uspenskij, V. A.
1
1996
The works of Hugh MacColl and the origins of nonclassical logic. Zbl 0985.03003
Cavaliere, Fania
1
1996
Peirce Rustled, Russell Pierced: How Charles Peirce and Bertrand Russell viewed each other’s work in logic, and an assessment of Russell’s accuracy and rôle in the historiography on logic. Zbl 0830.01011
Anellis, Irving H.
4
1995
Helena Rasiowa, 1917-1994. Zbl 0828.01009
Bartol, Wiktor; Orłowska, Ewa; Skowron, Andrzej
3
1995
Mathematical logic in Poland 1900–1939: People, circles, institutions, ideas. Zbl 0843.03001
Woleński, Jan
3
1995
De Morgan, Victorian syllogistic and relational logic. Zbl 0821.01016
Hawkins, Benjamin S. jun.
2
1995
Herbrand’s fundamental theorem and the beginning of logic programming. Zbl 0801.03001
Abeles, Francine
8
1994
Why algebra of logic? Ernst Schröder’s looking for a universal theory of compositions. (Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen.) Zbl 0812.01012
Peckhaus, Volker
6
1994
A note on “The development of multiset theory”. Zbl 0810.03045
Singh, D.
4
1994
The set-theoretical program of Quine succeeded, but nobody noticed. Zbl 0804.03040
Holmes, M. Randall
3
1994
The imaginary geometry of N. I. Lobachevsky and the imaginary logic of N. A. Vasiliev. Zbl 0805.01011
Bazhanov, V. A.
3
1994
Brouwer and Griss on intuitionistic negation. Zbl 0802.03001
Franchella, Miriam
2
1994
Jan Łukasiewicz on the liar paradox, logical consequence, truth, and induction. Zbl 0812.01018
Woleński, Jan
2
1994
Memories of Mech.-Math. in ‘sixties, inspired by Uspensky’s JSL article on Kolmogorov’s work in logic. Zbl 0790.01029
Kushner, Boris A.
1
1994
Grandfather of fuzzy logic? Zbl 0803.01012
Anellis, Irving H.
1
1994
Schröder’s second proof of the independence of the second subsumption of the distributive law in logical calculus. (Schröders zweiter Beweis für die Unabhängigkeit der zweiten Subsumtion des Distributivgesetzes im logischen Kalkül.) Zbl 0812.01013
Thiel, Christian
1
1994
Herbrand’s error and Gödel’s correction. Zbl 0789.03002
Goldfarb, Warren
5
1993
Peirce and Frege, a question unanswered. Zbl 0794.01008
Hawkins, Benjamin S. jun.
2
1993
Joon Fang of Jaean – a retrospective. Zbl 0782.01022
Anellis, Irving H.
1
1993
Frege’s way from logicism to the attempt of a foundation of arithmetics. (Frege’s Weg vom Logizismus zum Versuch einer geometrischen Grundlegung der Arithmetik.) Zbl 0791.01005
Dathe, Uwe
1
1993
Historical development of modern logic. Zbl 0758.03004
van Heijenoort, Jean
5
1992
Jean van Heijenoort’s contributions to proof theory and its history. Zbl 0758.03002
Anellis, Irving H.
4
1992
Logic and foundations of mathematics in Peano’s school. Zbl 0767.03002
Borga, M.; Palladino, D.
4
1992
C. S. Peirce’s influence on the logical work of N. A. Vasiliev. Zbl 0769.03003
Bazhanov, Valentine A.
3
1992
Reflections on the interplay between mathematics and logic. Zbl 0771.03011
Moore, Gregory H.
2
1992
Jean van Heijenoort: An all too brief acquaintance. Zbl 0755.01028
Dawson, John W. jun.
1
1992
Jean van Heijenoort (1912-1986). Zbl 0755.01026
Burdman Feferman, Anita; Feferman, Solomon
1
1992
A sketch of Jean van Heijenoort’s view of the history of modern logic: Introduction to an unpublished paper. Zbl 0758.03003
Anellis, Irving H.
1
1992
The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022
Girard, Jean-Yves
1
1992
Quantification theory, logic and language (On the proposal of the “Selected essays” of Jean van Heijenoort). Zbl 0755.03004
Padilla-Gálvez, Jesus
1
1992
The status of Cantorian numbers. Zbl 0765.03003
Frápolli, Maria J.
1
1992
The development of multiset theory. Zbl 0744.03054
Blizard, Wayne D.
25
1991
Ernst Schröder and the “pasigraphic systems” of Peano and Peirce. (Ernst Schröder und die “pasigraphischen Systeme” von Peano und Peirce.) Zbl 0735.01007
Peckhaus, Volker
9
1991
Constructive logic and the paradoxes. Zbl 0748.03037
Ruitenburg, Wim
6
1991
The Schröder-Peirce correspondence. Zbl 0735.01006
Houser, Nathan
5
1991
Forty years of “unnatural” natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi. Zbl 0744.03005
Anellis, Irving H.
5
1991
The life and work of Ernst Schröder. Zbl 0735.01011
Dipert, Randall R.
3
1991
Schröder material at the Russell archives. Zbl 0735.01005
Anellis, Irving H.
1
1991
Individuals and extensional logic in Schröder’s “Vorlesungen über die Algebra der Logik”. Zbl 0855.01012
Dipert, Randall R.
1
1991
Ernst Schröder and the distribution of quantifiers. Zbl 0855.01013
Thiel, Christian
1
1991
Is Cantorian set theory an iterative conception of set? Zbl 0747.03003
Frápolli, Maria J.
1
1991
Hanf’s eulogy, 9/11/89. Zbl 0738.01014
Myers, Dale
1
1991
From semantic tableaux to Smullyan trees: A history of the development of the falsifiability tree method. Zbl 0708.01008
Anellis, Irving H.
8
1990
Lewis Carroll’s method of trees: Its origins in “Studies in logic”. Zbl 0708.01009
Abeles, Francine F.
8
1990
A history of logic trees. (Editor’s note). Zbl 0708.01010
Anellis, Irving H.
1
1990
all top 5

Cited by 163 Authors

8 Anellis, Irving Henry
5 Abeles, Francine F.
5 Moktefi, Amirouche
4 Béziau, Jean-Yves
3 Bellucci, Francesco
3 Hollings, Christopher David
3 Rocacher, Daniel
2 Bazhanov, Valentin A.
2 Beisecker, Dave
2 Bosc, Patrick
2 Buchholz, Peter
2 Debnath, Shyamal
2 Ferreirós, José
2 Grattan-Guinness, Ivor
2 Jankowski, Andrzej Wojciech
2 Jürgensen, Helmut
2 Katz, Karin Usadi
2 Katz, Mikhail G.
2 Restall, Greg
2 Skowron, Andrzej
2 Tarasyuk, Igor’ Valer’evich
1 Akbar Tabatabai, Amirhossein
1 Alonso, Pedro
1 Antonelli, Gian Aldo
1 Artemov, Sergei
1 Avron, Arnon
1 Baroni, Marian Alexandru
1 Bārzdiņš, Jānis
1 Belanger, Jay
1 Benatti, Alexandre
1 Bertran-San Millán, Joan
1 Betti, Arianna
1 Biswas, Ranjit
1 Bokut, Leonid A.
1 Bondoni, Davide
1 Bridges, Douglas Suth
1 Bukhstaber, V. M.
1 Burton, Jim
1 Buss, Samuel R.
1 Casasnovas, Jaume
1 Celani, Sergio Arturo
1 Chakrabarty, Kankana
1 Chinenova, Vera Nikolaevna
1 Chirskiĭ, Vladimir Grigor’evich
1 Chubarikov, Vladimir Nikolaevich
1 da Costa, Luciano F.
1 da F. Costa, Luciano
1 Dang, Hoang-Vu
1 Das, Rakhal
1 Das, Sujoy
1 Dawson, John W. jun.
1 Debnath, Amaresh
1 Dejnožka, Jan
1 Dekhtyar, Alexander M.
1 Denisova, Tatiana Yu.
1 Detlefsen, Michael E.
1 Dey, Sudeep
1 Díaz, Irene
1 Dobrovol’skiĭ, Nikolaĭ Mikhaĭlovich
1 Ehrlich, Philip
1 Ejegwa, Paul Augustine
1 Elkind, Landon D. C.
1 Feferman, Solomon
1 Felisiak, Piotr Andrzej
1 Font, Josep Maria
1 Fontana, Roberto
1 Franchella, Miriam
1 Gazzari, René
1 Gurevich, Yuri
1 Haffner, Emmylou
1 Heinemann, Anna-Sophie
1 Holmes, M. Randall
1 Hoppe-Kondrikova, Olga
1 Hounkonnou, Mahouton Norbert
1 Howse, John
1 Ibrahim, Adeku Musa
1 Indrzejczak, Andrzej
1 Ishii, Katsumasa
1 Ivanov, Aleksandr Olegovich
1 Janiš, Vladimír
1 Jansana, Ramon
1 John, Sunil Jacob
1 Kanovei, Vladimir G.
1 Kashima, Ryo
1 Kikuchi, Kentaro
1 Kobza, Vladimír
1 Kozlov, Mykyta V.
1 Kozlov, Valeriĭ Vasil’evich
1 Kumar P., Rajish
1 Kuo, Ting
1 Levin, Leonid A.
1 Li, Gun
1 Lomazova, Irina A.
1 Luciano, Erika
1 Lynch, Michael
1 Malink, Marko
1 Marchisotto, Elena Anne Corie
1 Martino, Enrico
1 Matiyasevich, Yuriĭ Vladimirovich
1 Mayor, Gaspar
...and 63 more Authors

Citations by Year