Laurens, Clémentine; Mazliak, Laurent Kameda Toyojiro and the transfer of the western theory of probability to Japan. (English) Zbl 07460562 Int. J. Approx. Reasoning 141, 159-170 (2022). MSC: 68T37 PDFBibTeX XMLCite \textit{C. Laurens} and \textit{L. Mazliak}, Int. J. Approx. Reasoning 141, 159--170 (2022; Zbl 07460562) Full Text: DOI
Lifschitz, Vladimir Here and there with arithmetic. (English) Zbl 07776324 Theory Pract. Log. Program. 21, No. 6, 735-749 (2021). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{V. Lifschitz}, Theory Pract. Log. Program. 21, No. 6, 735--749 (2021; Zbl 07776324) Full Text: DOI arXiv OA License
van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert Spontaneous periodic orbits in the Navier-Stokes flow. (English) Zbl 1475.35247 J. Nonlinear Sci. 31, No. 2, Paper No. 41, 64 p. (2021). Reviewer: Giusy Mazzone (Kingston) MSC: 35Q30 35B06 35B10 35B36 65G20 76D17 68V05 PDFBibTeX XMLCite \textit{J. B. van den Berg} et al., J. Nonlinear Sci. 31, No. 2, Paper No. 41, 64 p. (2021; Zbl 1475.35247) Full Text: DOI arXiv
Bezhanishvili, Guram; Holliday, Wesley H. A semantic hierarchy for intuitionistic logic. (English) Zbl 07049867 Indag. Math., New Ser. 30, No. 3, 403-469 (2019). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{W. H. Holliday}, Indag. Math., New Ser. 30, No. 3, 403--469 (2019; Zbl 07049867) Full Text: DOI Link Backlinks: MO
Cabalar, Pedro; Pearce, David; Valverde, Agustín Stable reasoning. (English) Zbl 1400.68203 J. Appl. Non-Class. Log. 27, No. 3-4, 238-254 (2017). MSC: 68T27 03A05 68N17 PDFBibTeX XMLCite \textit{P. Cabalar} et al., J. Appl. Non-Class. Log. 27, No. 3--4, 238--254 (2017; Zbl 1400.68203) Full Text: DOI
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín Infinitary equilibrium logic and strongly equivalent logic programs. (English) Zbl 1419.68120 Artif. Intell. 246, 22-33 (2017). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{A. Harrison} et al., Artif. Intell. 246, 22--33 (2017; Zbl 1419.68120) Full Text: DOI
Harrison, Amelia; Lifschitz, Vladimir; Michael, Julian Proving infinitary formulas. (English) Zbl 1379.68069 Theory Pract. Log. Program. 16, No. 5-6, 787-799 (2016). MSC: 68N17 03B70 PDFBibTeX XMLCite \textit{A. Harrison} et al., Theory Pract. Log. Program. 16, No. 5--6, 787--799 (2016; Zbl 1379.68069) Full Text: DOI arXiv
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw On equivalence of infinitary formulas under the stable model semantics. (English) Zbl 1379.68070 Theory Pract. Log. Program. 15, No. 1, 18-34 (2015). MSC: 68N17 03B70 68Q55 PDFBibTeX XMLCite \textit{A. Harrison} et al., Theory Pract. Log. Program. 15, No. 1, 18--34 (2015; Zbl 1379.68070) Full Text: DOI arXiv
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín Infinitary equilibrium logic and strong equivalence. (English) Zbl 1467.68173 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 398-410 (2015). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{A. Harrison} et al., Lect. Notes Comput. Sci. 9345, 398--410 (2015; Zbl 1467.68173) Full Text: DOI
Pearce, D.; Valverde, A. Synonymous theories and knowledge representations in answer set programming. (English) Zbl 1250.68254 J. Comput. Syst. Sci. 78, No. 1, 86-104 (2012). Reviewer: Wolfgang Faber (Wien) MSC: 68T30 03B20 03B55 68N17 68T27 03B70 PDFBibTeX XMLCite \textit{D. Pearce} and \textit{A. Valverde}, J. Comput. Syst. Sci. 78, No. 1, 86--104 (2012; Zbl 1250.68254) Full Text: DOI
Pearce, David Equilibrium logic. (English) Zbl 1117.03039 Ann. Math. Artif. Intell. 47, No. 1-2, 3-41 (2006). Reviewer: Nail Zamov (Kazan) MSC: 03B70 03B55 68N17 68T27 PDFBibTeX XMLCite \textit{D. Pearce}, Ann. Math. Artif. Intell. 47, No. 1--2, 3--41 (2006; Zbl 1117.03039) Full Text: DOI
Pearce, David; Valverde, Agustín A first order nonmonotonic extension of constructive logic. (English) Zbl 1097.03020 Stud. Log. 80, No. 2-3, 321-346 (2005). MSC: 03B60 03B70 68T27 PDFBibTeX XMLCite \textit{D. Pearce} and \textit{A. Valverde}, Stud. Log. 80, No. 2--3, 321--346 (2005; Zbl 1097.03020) Full Text: DOI
Manes, Ernie Monads of sets. (English) Zbl 1064.18003 Hazewinkel, M. (ed.), Handbook of algebra. Volume 3. Amsterdam: Elsevier (ISBN 0-444-51264-0/hbk). 67-153 (2003). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18C15 06B35 08C05 68Q65 PDFBibTeX XMLCite \textit{E. Manes}, in: Handbook of algebra. Volume 3. Amsterdam: Elsevier. 67--153 (2003; Zbl 1064.18003)
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. (English) Zbl 0997.54042 Theor. Comput. Sci. 193, No. 1-2, 1-51 (1998). MSC: 54E35 54B30 54D35 18B30 68Q55 PDFBibTeX XMLCite \textit{M. M. Bonsangue} et al., Theor. Comput. Sci. 193, No. 1--2, 1--51 (1998; Zbl 0997.54042) Full Text: DOI
Bainbridge, E. S.; Freyd, P. J.; Scedrov, A.; Scott, P. J. Functorial polymorphism. (English) Zbl 0717.18005 Theor. Comput. Sci. 70, No. 1, 35-64 (1990). Reviewer: V.Kurkova-Pohlova MSC: 18D15 03B40 68Q55 68Q60 PDFBibTeX XMLCite \textit{E. S. Bainbridge} et al., Theor. Comput. Sci. 70, No. 1, 35--64 (1990; Zbl 0717.18005) Full Text: DOI
Hughes, Charles E. Degrees of unsolvability associated with Markov algorithms. (English) Zbl 0298.02040 Int. J. Comput. Inform. Sci. 1, 355-365 (1972). MSC: 03D30 03D03 03D10 03D40 68W99 PDFBibTeX XMLCite \textit{C. E. Hughes}, Int. J. Comput. Inform. Sci. 1, 355--365 (1972; Zbl 0298.02040) Full Text: DOI