# zbMATH — the first resource for mathematics

## Bunder, Martin W.

Compute Distance To:
 Author ID: bunder.martin-w Published as: Bunder, M.; Bunder, M. W.; Bunder, Martin; Bunder, Martin W.
 Documents Indexed: 131 Publications since 1970 Reviewing Activity: 200 Reviews
all top 5

#### Co-Authors

 93 single-authored 10 Tognetti, Keith P. 7 Bates, Bruce 7 Dekkers, Wil J. M. 4 Meyer, Robert Kenneth 4 Tonien, Joseph 3 Barendregt, Hendrik Pieter 3 Hindley, J. Roger 3 Seldin, Jonathan P. 2 Nitaj, Abderrahmane 2 Susilo, Willy 1 Anderssen, Robert Scott 1 Banerjee, Mohua 1 Chakraborty, Mihir Kumar 1 de Hoog, Frank Robert 1 Geuvers, Jan Herman 1 Griffiths, David W. 1 Gulati, Chandra M. 1 Johnson, David Lawrence 1 Kim, Ann Chi 1 Laird, Philip D. 1 Laird, Philip G. 1 Megill, Norman D. 1 Nickolas, Peter 1 Onizawa, Takeo 1 Powers, Lawrence H. 1 Rizkalla, R. M. 1 Slaney, John K. 1 Trigg, Peter 1 Wheeler, Glen E.
all top 5

#### Serials

 22 Notre Dame Journal of Formal Logic 12 The Journal of Symbolic Logic 8 The Fibonacci Quarterly 7 Theoretical Computer Science 6 Archiv für Mathematische Logik und Grundlagenforschung 5 Logique et Analyse. Nouvelle Série 4 Mathematics Seminar Notes 3 Mathematica Japonica 3 Studia Logica 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 European Journal of Combinatorics 3 The Australasian Journal of Logic 3 Bulletin of the Section of Logic 2 Discrete Mathematics 2 The Australian Mathematical Society Gazette 2 Bulletin of the Section of Logic 2 The Bulletin of Symbolic Logic 2 Acta Mathematica Academiae Paedagogicae Nyíregyháziensis. New Series 2 Applicable Analysis and Discrete Mathematics 1 Indagationes Mathematicae 1 Journal of Number Theory 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Revista Colombiana de Matemáticas 1 Journal of Automated Reasoning 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Algebra Colloquium 1 Journal of the IGPL 1 The Ramanujan Journal 1 Logic Journal of the IGPL 1 RIMS Kokyuroku 1 Scientiae Mathematicae 1 Integers 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 Journal of Statistical Theory and Practice 1 Far East Journal of Mathematical Education 1 Malaysian Journal of Mathematical Sciences
all top 5

#### Fields

 100 Mathematical logic and foundations (03-XX) 17 Number theory (11-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 4 Combinatorics (05-XX) 4 Computer science (68-XX) 4 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Special functions (33-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 Statistics (62-XX)

#### Citations contained in zbMATH

61 Publications have been cited 156 times in 101 Documents Cited by Year
Linking the Calkin-Wilf and Stern-Brocot trees. Zbl 1209.05045
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Combinatory abstraction using $${\mathbf B}$$, $${\mathbf B}^ \prime$$ and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
1994
A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010
Bunder, M. W.
1983
A weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003
Bunder, M. W.
1983
Locating terms in the Stern-Brocot tree. Zbl 1221.05037
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Linkages between the Gauss map and the Stern-Brocot tree. Zbl 1119.11008
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2006
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
1985
Various systems of set theory based on combinatory logic. Zbl 0212.02505
Bunder, M. W.
1974
Some rough consequence logics and their interrelations. Zbl 1170.03334
Bunder, Martin W.; Banerjee, Mohua; Chakraborty, Mihir K.
2008
Lambda terms definable as combinators. Zbl 0868.03008
Bunder, M. W.
1996
The Zeckendorf representation and the golden sequence. Zbl 0734.11016
Bunder, Martin; Tognetti, Keith
1991
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. Zbl 0614.03015
Bunder, M. W.
1987
BCK and related algebras and their corresponding logics. Zbl 0558.03033
Bunder, M. W.
1983
A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094
Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph
2016
On binary reflected Gray codes and functions. Zbl 1211.94051
Bunder, Martin W.; Tognetti, Keith P.; Wheeler, Glen E.
2008
Continued fractions and the Gauss map. Zbl 1102.11006
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2005
Pure type systems with more liberal rules. Zbl 0997.03014
Bunder, Martin; Dekkers, Wil
2001
Proof finding algorithms for implicational logics. Zbl 0972.03022
Bunder, M. W.
2000
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
1993
Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007
Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence
1991
Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. Zbl 0623.03048
Bunder, M. W.
1986
Natural numbers in illative combinatory logic. Zbl 0612.03012
Bunder, M. W.
1985
An extension of Klop’s counterexample to the Church-Rosser property to $$\lambda$$-calculus with other ordered pair combinators. Zbl 0601.03002
Bunder, M. W.
1985
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
1983
A new hierarchy of paraconsistent logics. Zbl 0446.03020
Bunder, Martin W.
1980
Propositional and predicate calculus based on combinatory logic. Zbl 0212.02504
Bunder, M. W.
1974
A deduction theorem for restricted generality. Zbl 0197.28204
Bunder, M. W.
1973
Equivalences between pure type systems and systems of illative combinatory logic. Zbl 1081.03015
Bunder, M. W.; Dekkers, W. J. M.
2005
Intersection types for lambda-terms and combinators and their logics. Zbl 1022.03005
Bunder, Martin
2002
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041
Bunder, M. W.
1983
Set theory in predicate calculus with equality. Zbl 0537.03011
Bunder, M. W.
1983
Variable binding term operators in $$\lambda$$-calculus. Zbl 0407.03022
Bunder, M. W.
1979
Consistency notions in illative combinatory logic. Zbl 0382.03013
Bunder, M. W.
1978
On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Zbl 0349.02020
Bunder, M. W.
1977
Propositional and predicate calculus based on combinatory logic. Zbl 0272.02045
Bunder, M. W.
1974
Horadam functions and powers of irrationals. Zbl 1303.11027
Bunder, Martin W.
2012
Mirroring and interleaving in the paperfolding sequence. Zbl 1265.11018
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Intersection type systems and logics related to the Meyer-Routley system $$B^+$$. Zbl 1048.03012
Bunder, Martin
2003
On the self matching properties of $$[j\tau]$$. Zbl 0991.11006
Bunder, Martin; Tognetti, Keith
2001
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
Equivalences between illative combinatory logics and pure type systems. Zbl 0937.03021
Bunder, M. W.; Dekkers, W. J. M.; Geuvers, J. H.
1997
Weaker $$D$$-complete logics. Zbl 0845.03010
Megill, Norman D.; Bunder, Martin W.
1996
Combinatory logic and lambda calculus with classical types. Zbl 0856.03014
Bunder, M. W.
1992
Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007
Bunder, M. W.
1992
Some improvements to Turner’s algorithm for bracket abstraction. Zbl 0714.03013
Bunder, M. W.
1990
On adding ($$\xi$$ ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1989
Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005
Bunder, M. W.
1989
Corrections to some results for BCK logics and algebras. Zbl 0729.03007
Bunder, M. W.
1988
Possible forms of evaluation or reduction in Martin-Löf type theory. Zbl 0612.03007
Bunder, M. W.
1985
Conjunction without conditions in illative combinatory logic. Zbl 0557.03008
Bunder, M. W.
1984
Deduction theorems for weak implicational logics. Zbl 0536.03001
Bunder, M. W.
1982
Some results in Aczel-Feferman logic and set theory. Zbl 0496.03034
Bunder, M. W.
1982
Illative combinatory logic without equality as a primitive predicate. Zbl 0452.03008
Bunder, M. W.
1982
Simpler axioms for BCK algebras and the connection between the axioms and the combinators B, C and K. Zbl 0473.03063
Bunder, M. W.
1981
Scott’s models and illative combinatory logic. Zbl 0349.02021
Bunder, M. W.
1979
Equality in $$\mathfrak J^*_{2\,1}$$ with restricted subjects. Zbl 0422.03002
Bunder, M. W.
1978
On the inconsistency of systems similar to $$\mathcal F^*_{21}$$. Zbl 0394.03022
Bunder, M. W.; Meyer, R. K.
1978
Some inconsistencies in illative combinatory logic. Zbl 0299.02031
Bunder, M. W.
1974
A generalised Kleene-Rosser paradox for a system containing the combinator K. Zbl 0197.28203
Bunder, M. W.
1973
A paradox in illative combinatory logic. Zbl 0185.02504
Bunder, M. W.
1970
A new attack on three variants of the RSA cryptosystem. Zbl 1346.94094
Bunder, Martin; Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph
2016
Horadam functions and powers of irrationals. Zbl 1303.11027
Bunder, Martin W.
2012
Linking the Calkin-Wilf and Stern-Brocot trees. Zbl 1209.05045
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Locating terms in the Stern-Brocot tree. Zbl 1221.05037
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Mirroring and interleaving in the paperfolding sequence. Zbl 1265.11018
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2010
Some rough consequence logics and their interrelations. Zbl 1170.03334
Bunder, Martin W.; Banerjee, Mohua; Chakraborty, Mihir K.
2008
On binary reflected Gray codes and functions. Zbl 1211.94051
Bunder, Martin W.; Tognetti, Keith P.; Wheeler, Glen E.
2008
Linkages between the Gauss map and the Stern-Brocot tree. Zbl 1119.11008
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2006
Continued fractions and the Gauss map. Zbl 1102.11006
Bates, Bruce; Bunder, Martin; Tognetti, Keith
2005
Equivalences between pure type systems and systems of illative combinatory logic. Zbl 1081.03015
Bunder, M. W.; Dekkers, W. J. M.
2005
Intersection type systems and logics related to the Meyer-Routley system $$B^+$$. Zbl 1048.03012
Bunder, Martin
2003
Intersection types for lambda-terms and combinators and their logics. Zbl 1022.03005
Bunder, Martin
2002
Pure type systems with more liberal rules. Zbl 0997.03014
Bunder, Martin; Dekkers, Wil
2001
On the self matching properties of $$[j\tau]$$. Zbl 0991.11006
Bunder, Martin; Tognetti, Keith
2001
Proof finding algorithms for implicational logics. Zbl 0972.03022
Bunder, M. W.
2000
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1998
Equivalences between illative combinatory logics and pure type systems. Zbl 0937.03021
Bunder, M. W.; Dekkers, W. J. M.; Geuvers, J. H.
1997
Lambda terms definable as combinators. Zbl 0868.03008
Bunder, M. W.
1996
Weaker $$D$$-complete logics. Zbl 0845.03010
Megill, Norman D.; Bunder, Martin W.
1996
Combinatory abstraction using $${\mathbf B}$$, $${\mathbf B}^ \prime$$ and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
1994
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
1993
Combinatory logic and lambda calculus with classical types. Zbl 0856.03014
Bunder, M. W.
1992
Zeckendorf representations using negative Fibonacci numbers. Zbl 0751.11007
Bunder, M. W.
1992
The Zeckendorf representation and the golden sequence. Zbl 0734.11016
Bunder, Martin; Tognetti, Keith
1991
Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007
Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence
1991
Some improvements to Turner’s algorithm for bracket abstraction. Zbl 0714.03013
Bunder, M. W.
1990
On adding ($$\xi$$ ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1989
Overlapping types in higher order predicate calculus based on combinatory logic. Zbl 0698.03005
Bunder, M. W.
1989
Corrections to some results for BCK logics and algebras. Zbl 0729.03007
Bunder, M. W.
1988
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. Zbl 0614.03015
Bunder, M. W.
1987
Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. Zbl 0623.03048
Bunder, M. W.
1986
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
1985
Natural numbers in illative combinatory logic. Zbl 0612.03012
Bunder, M. W.
1985
An extension of Klop’s counterexample to the Church-Rosser property to $$\lambda$$-calculus with other ordered pair combinators. Zbl 0601.03002
Bunder, M. W.
1985
Possible forms of evaluation or reduction in Martin-Löf type theory. Zbl 0612.03007
Bunder, M. W.
1985
Conjunction without conditions in illative combinatory logic. Zbl 0557.03008
Bunder, M. W.
1984
A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010
Bunder, M. W.
1983
A weak absolute consistency proof for some systems of illative combinatory logic. Zbl 0527.03003
Bunder, M. W.
1983
BCK and related algebras and their corresponding logics. Zbl 0558.03033
Bunder, M. W.
1983
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
1983
The answer to a problem of Iséki on BCI-algebras. Zbl 0545.03041
Bunder, M. W.
1983
Set theory in predicate calculus with equality. Zbl 0537.03011
Bunder, M. W.
1983
Deduction theorems for weak implicational logics. Zbl 0536.03001
Bunder, M. W.
1982
Some results in Aczel-Feferman logic and set theory. Zbl 0496.03034
Bunder, M. W.
1982
Illative combinatory logic without equality as a primitive predicate. Zbl 0452.03008
Bunder, M. W.
1982
Simpler axioms for BCK algebras and the connection between the axioms and the combinators B, C and K. Zbl 0473.03063
Bunder, M. W.
1981
A new hierarchy of paraconsistent logics. Zbl 0446.03020
Bunder, Martin W.
1980
Variable binding term operators in $$\lambda$$-calculus. Zbl 0407.03022
Bunder, M. W.
1979
Scott’s models and illative combinatory logic. Zbl 0349.02021
Bunder, M. W.
1979
Consistency notions in illative combinatory logic. Zbl 0382.03013
Bunder, M. W.
1978
Equality in $$\mathfrak J^*_{2\,1}$$ with restricted subjects. Zbl 0422.03002
Bunder, M. W.
1978
On the inconsistency of systems similar to $$\mathcal F^*_{21}$$. Zbl 0394.03022
Bunder, M. W.; Meyer, R. K.
1978
On the equivalence of systems of rules and systems of axioms in illative combinatory logic. Zbl 0349.02020
Bunder, M. W.
1977
Various systems of set theory based on combinatory logic. Zbl 0212.02505
Bunder, M. W.
1974
Propositional and predicate calculus based on combinatory logic. Zbl 0212.02504
Bunder, M. W.
1974
Propositional and predicate calculus based on combinatory logic. Zbl 0272.02045
Bunder, M. W.
1974
Some inconsistencies in illative combinatory logic. Zbl 0299.02031
Bunder, M. W.
1974
A deduction theorem for restricted generality. Zbl 0197.28204
Bunder, M. W.
1973
A generalised Kleene-Rosser paradox for a system containing the combinator K. Zbl 0197.28203
Bunder, M. W.
1973
A paradox in illative combinatory logic. Zbl 0185.02504
Bunder, M. W.
1970
all top 5

#### Cited by 105 Authors

 29 Bunder, Martin W. 4 Bates, Bruce 4 Broda, Sabine 4 Chuan, Waifong 4 Dekkers, Wil J. M. 4 Hirokawa, Sachio 4 Tognetti, Keith P. 3 Bimbó, Katalin 3 Damas, Luís 3 Nathanson, Melvyn Bernard 2 Barendregt, Hendrik Pieter 2 Chakraborty, Mihir Kumar 2 Hindley, J. Roger 2 Ho, Hui-Ling 2 Humberstone, Lloyd 2 Leroy, Julien 2 Mansour, Toufik 2 Meyer, Robert Kenneth 2 Nitaj, Abderrahmane 2 Ponton, Lionel 2 Rigo, Michel 2 Rogerson, Susan 2 Seldin, Jonathan P. 2 Stipulanti, Manon 2 Susilo, Willy 2 Tonien, Joseph 2 Uscka-Wehlou, Hanna 2 Vajnovszki, Vincent 1 Abrate, Marco 1 Ahmadi, Amin 1 Alves, Sandra 1 Ayral, Hakan 1 Barbero, Stefano 1 Besnard, Philippe 1 Bettini, Lorenzo 1 Bono, Viviana 1 Bonotto, Cinzia 1 Bressan, Aldo 1 Cerruti, Umberto 1 Contassot-Vivier, Sylvain 1 Couchot, Jean-François 1 Curien, Pierre-Louis 1 Czajka, Łukasz 1 Da Costa, Newton Carneiro Affonso 1 de Vrijer, R. C. 1 Dudek, Wiesław Aleksander 1 Dunn, Jon Michael 1 Feferman, Solomon 1 Ferreira, João Filipe 1 Finger, Marcelo 1 Gabbay, Michael J. 1 Gabbay, Murdoch James 1 Gibert, Jacek 1 Han, Sandie 1 Hardin, Thérèse 1 Héam, Pierre-Cyrille 1 Hu, Lei 1 Kamareddine, Fairouz D. 1 Kilic, Emrah 1 Klop, Jan Willem 1 Komori, Yuichi 1 Kordi, Ali 1 Laenens, Els 1 Lele, Celestin 1 Lennerstad, Håkan 1 Liao, Fang-Yi 1 Lochbihler, Andreas 1 Longo, Giuseppe 1 Lu, Yao 1 Ma, Minghui 1 Mani, Anandi 1 Mano, Karuppiah 1 Mares, Edwin D. 1 Masuda, Ariane M. 1 Mbah, Martial L. Ndeffo 1 Megill, Norman D. 1 Mendes, Alexandra 1 Mortensen, Chris 1 Moussavi, Ahmad 1 Moutari, Salissou 1 Murru, Nadir 1 Nagayama, Misao 1 Ogawa, Morirou 1 Padovani, Vincent 1 Peng, Liqiang 1 Powers, Lawrence H. 1 Restall, Greg 1 Sylvan, Richard 1 Samanta, Pulak 1 Schneider, Joshua P. 1 She, Yanhong 1 Silva e Silva, Paulo 1 Singh, Satyanand 1 Tabachnikov, Serge L. 1 Tasci, Dursun 1 Thiel, Johann A. 1 Trigg, Peter 1 Ulrich, Dolph 1 Uludağ, Muhammed A. 1 Venneri, Betti ...and 5 more Authors
all top 5

#### Cited in 36 Serials

 13 The Journal of Symbolic Logic 13 Theoretical Computer Science 6 Archiv für Mathematische Logik und Grundlagenforschung 5 Studia Logica 5 International Journal of Number Theory 4 Notre Dame Journal of Formal Logic 4 Journal of Applied Logic 3 Discrete Applied Mathematics 3 Discrete Mathematics 3 Journal of Philosophical Logic 3 European Journal of Combinatorics 3 Integers 2 Annals of Pure and Applied Logic 2 International Journal of Approximate Reasoning 1 American Mathematical Monthly 1 Information Processing Letters 1 The Mathematical Intelligencer 1 Journal of Combinatorial Theory. Series A 1 Journal of Computational and Applied Mathematics 1 Mathematica Slovaca 1 Rendiconti del Seminario Matematico della Università di Padova 1 History and Philosophy of Logic 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Intelligent Systems 1 Journal of Theoretical Probability 1 MSCS. Mathematical Structures in Computer Science 1 Pattern Recognition 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Journal of Functional Programming 1 The Bulletin of Symbolic Logic 1 Logica Universalis 1 Mathematics 1 Algebra 1 Journal of Logical and Algebraic Methods in Programming
all top 5

#### Cited in 14 Fields

 62 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 19 Combinatorics (05-XX) 17 Number theory (11-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Information and communication theory, circuits (94-XX) 2 Measure and integration (28-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Difference and functional equations (39-XX) 1 Statistical mechanics, structure of matter (82-XX)