Bunder, M. W.; Dekkers, W. J. M. Equivalences between pure type systems and systems of illative combinatory logic. (English) Zbl 1081.03015 Notre Dame J. Formal Logic 46, No. 2, 181-205 (2005). Reviewer: Reinhard Kahle (Coimbra) MSC: 03B40 PDFBibTeX XMLCite \textit{M. W. Bunder} and \textit{W. J. M. Dekkers}, Notre Dame J. Formal Logic 46, No. 2, 181--205 (2005; Zbl 1081.03015) Full Text: DOI
Bunder, M. W.; Seldin, Jonathan P. Variants of the basic calculus of constructions. (English) Zbl 1068.03012 J. Appl. Log. 2, No. 2, 191-217 (2004). Reviewer: Vladimir Komendantsky (Cork) MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{M. W. Bunder} and \textit{J. P. Seldin}, J. Appl. Log. 2, No. 2, 191--217 (2004; Zbl 1068.03012) Full Text: DOI
Bunder, Martin; Dekkers, Wil Pure type systems with more liberal rules. (English) Zbl 0997.03014 J. Symb. Log. 66, No. 4, 1561-1580 (2001). Reviewer: Reinhard Kahle (Tübingen) MSC: 03B40 03B15 03B35 PDFBibTeX XMLCite \textit{M. Bunder} and \textit{W. Dekkers}, J. Symb. Log. 66, No. 4, 1561--1580 (2001; Zbl 0997.03014) Full Text: DOI
Bunder, M. W. Proof finding algorithms for implicational logics. (English) Zbl 0972.03022 Theor. Comput. Sci. 232, No. 1-2, 165-186 (2000). Reviewer: G.Mints (Stanford) MSC: 03B47 03B40 03B15 03B20 03B35 PDFBibTeX XMLCite \textit{M. W. Bunder}, Theor. Comput. Sci. 232, No. 1--2, 165--186 (2000; Zbl 0972.03022) Full Text: DOI
Bunder, Martin (ed.) Australasian Association for Logic. George Hughes Memorial Conference. Otago, Dunedin, New Zealand, August 26-29, 1994. (English) Zbl 0850.03004 Bull. Symb. Log. 1, No. 3, 351-358 (1995). MSC: 03-06 PDFBibTeX XMLCite \textit{M. Bunder} (ed.), Bull. Symb. Log. 1, No. 3, 351--358 (1995; Zbl 0850.03004) Full Text: DOI Link
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W. Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. (English) Zbl 0838.03012 Theor. Comput. Sci. 135, No. 2, 405-422 (1994). Reviewer: S.Martini (Udine) MSC: 03B40 PDFBibTeX XMLCite \textit{P. Trigg} et al., Theor. Comput. Sci. 135, No. 2, 405--422 (1994; Zbl 0838.03012) Full Text: DOI
Barendregt, Henk; Bunder, Martin; Dekkers, Wil Systems of illative combinatory logic complete for first-order propositional and predicate calculus. (English) Zbl 0791.03006 J. Symb. Log. 58, No. 3, 769-788 (1993). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 PDFBibTeX XMLCite \textit{H. Barendregt} et al., J. Symb. Log. 58, No. 3, 769--788 (1993; Zbl 0791.03006) Full Text: DOI Link
Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence Implementing the ‘Fool’s model’ of combinatory logic. (English) Zbl 0749.03007 J. Autom. Reasoning 7, No. 4, 597-630 (1991). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B40 03B35 03B47 PDFBibTeX XMLCite \textit{R. K. Meyer} et al., J. Autom. Reasoning 7, No. 4, 597--630 (1991; Zbl 0749.03007) Full Text: DOI
Bunder, M. W. Arithmetic based on the Church numerals in illative combinatory logic. (English) Zbl 0664.03015 Stud. Log. 47, No. 2, 129-143 (1988). Reviewer: M.W.Bunder MSC: 03B40 PDFBibTeX XMLCite \textit{M. W. Bunder}, Stud. Log. 47, No. 2, 129--143 (1988; Zbl 0664.03015) Full Text: DOI
Bunder, M. W. Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic. (English) Zbl 0614.03015 J. Symb. Log. 52, 89-110 (1987). MSC: 03B40 03F05 03F07 03F55 PDFBibTeX XMLCite \textit{M. W. Bunder}, J. Symb. Log. 52, 89--110 (1987; Zbl 0614.03015) Full Text: DOI
Bunder, M. W. Some definitions of negation leading to paraconsistent logics. (English) Zbl 0574.03012 Stud. Log. 43, 75-78 (1984). MSC: 03B60 PDFBibTeX XMLCite \textit{M. W. Bunder}, Stud. Log. 43, 75--78 (1984; Zbl 0574.03012) Full Text: DOI
Bunder, M. W. A one axiom set theory based on higher order predicate calculus. (English) Zbl 0537.03010 Arch. Math. Logik Grundlagenforsch. 23, 99-107 (1983). MSC: 03B40 03E30 03B15 PDFBibTeX XMLCite \textit{M. W. Bunder}, Arch. Math. Logik Grundlagenforsch. 23, 99--107 (1983; Zbl 0537.03010) Full Text: DOI EuDML
Bunder, M. W. Predicate calculus of arbitrarily high finite order. (English) Zbl 0528.03005 Arch. Math. Logik Grundlagenforsch. 23, 1-10 (1983). Reviewer: O. Štěpánková (Praha) MSC: 03B15 03B40 PDFBibTeX XMLCite \textit{M. W. Bunder}, Arch. Math. Logik Grundlagenforsch. 23, 1--10 (1983; Zbl 0528.03005) Full Text: DOI EuDML
Bunder, M. W. A weak absolute consistency proof for some systems of illative combinatory logic. (English) Zbl 0527.03003 J. Symb. Log. 48, 771-776 (1983). MSC: 03B40 03E70 03F05 03B15 PDFBibTeX XMLCite \textit{M. W. Bunder}, J. Symb. Log. 48, 771--776 (1983; Zbl 0527.03003) Full Text: DOI
Bunder, M. W. Predicate calculus and naive set theory in pure combinatory logic. (English) Zbl 0472.03011 Arch. Math. Logik Grundlagenforsch. 21, 169-177 (1981). MSC: 03B40 03E70 03B10 PDFBibTeX XMLCite \textit{M. W. Bunder}, Arch. Math. Logik Grundlagenforsch. 21, 169--177 (1981; Zbl 0472.03011) Full Text: DOI EuDML
Bunder, M. W. Consistency notions in illative combinatory logic. (English) Zbl 0382.03013 J. Symb. Log. 42(1977), 527-529 (1978). MSC: 03B40 PDFBibTeX XMLCite \textit{M. W. Bunder}, J. Symb. Log. 42, 527--529 (1978; Zbl 0382.03013) Full Text: DOI