Tokuo, K. Natural deduction for quantum logic. (English) Zbl 1501.03005 Log. Univers. 16, No. 3, 469-497 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G12 03B60 03F03 68N18 81P10 PDFBibTeX XMLCite \textit{K. Tokuo}, Log. Univers. 16, No. 3, 469--497 (2022; Zbl 1501.03005) Full Text: DOI
Copello, Ernesto; Szasz, Nora; Tasistro, Álvaro Formal metatheory of the lambda calculus using Stoughton’s substitution. (English) Zbl 1383.03021 Theor. Comput. Sci. 685, 65-82 (2017). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDFBibTeX XMLCite \textit{E. Copello} et al., Theor. Comput. Sci. 685, 65--82 (2017; Zbl 1383.03021) Full Text: DOI
Desclés, Jean-Pierre A logical analysis of the Anselm’s Unum argumentum (from Proslogion). (English) Zbl 1420.03051 Log. Univers. 11, No. 1, 105-119 (2017). MSC: 03B60 03B40 03B65 PDFBibTeX XMLCite \textit{J.-P. Desclés}, Log. Univers. 11, No. 1, 105--119 (2017; Zbl 1420.03051) Full Text: DOI
Fox, Chris Curry-typed semantics in type predicate logic. (English) Zbl 1383.03015 Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 35-47 (2014). MSC: 03B15 03B65 PDFBibTeX XMLCite \textit{C. Fox}, in: The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17--21, 2013. London: College Publications. 35--47 (2014; Zbl 1383.03015)
Ginisti, Jean-Pierre Combinatory logic. (La logique combinatoire.) (French) Zbl 0873.03011 Que sais-je? Paris: Presses Universitaires de France. 127 p. (1997). Reviewer: A.Cantini (Firenze) MSC: 03B40 03-01 00A06 PDFBibTeX XMLCite \textit{J.-P. Ginisti}, La logique combinatoire. Paris: Presses Universitaires de France (1997; Zbl 0873.03011)
Belnap, Nuel D. jun. Grammatical propaedeutic. (English) Zbl 0358.02006 The logical Enterp., 143-165 (1975). Reviewer: Nuel D. Belnap jun. MSC: 03A05 03B65 PDFBibTeX XML
Kuzichev, A. S. Certain properties of Schönfinkel-Curry combinators. (Einige Eigenschaften der Kombinatoren von Schönfinkel und Curry.) (Russian) Zbl 0295.02016 Komb. Anal. 1, 105-119 (1971). Reviewer: L. V. Shabunin MSC: 03B40 PDFBibTeX XML
Loewen, Kenneth Modified strong reduction in combinatory logic. (English) Zbl 0195.30701 Notre Dame J. Formal Logic 9, 265-270 (1968). Reviewer: J. T. Kearns MSC: 03D99 PDFBibTeX XMLCite \textit{K. Loewen}, Notre Dame J. Formal Logic 9, 265--270 (1968; Zbl 0195.30701) Full Text: DOI
Lercher, Bruce Strong reduction and normal form in combinatory logic. (English) Zbl 0153.00602 J. Symb. Log. 32, 213-223 (1967). Reviewer: J. T. Kearns MSC: 03B40 PDFBibTeX XMLCite \textit{B. Lercher}, J. Symb. Log. 32, 213--223 (1967; Zbl 0153.00602) Full Text: DOI
Curry, Haskell B. Basic verifiability in the combinatory theory of restricted generality. (English) Zbl 0168.25703 Essays Found. Math., dedicat. to A. A. Fraenkel on his 70th Anniv., 165-189 (1962). Reviewer: J. T. Kearns MSC: 03-XX PDFBibTeX XML