×

zbMATH — the first resource for mathematics

Bunder, Martin W.

Compute Distance To:
Author ID: bunder.martin-w Recent zbMATH articles by "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

Publications by Year

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

Citations by Year