Trueman, Robert Properties and propositions. The metaphysics of higher-order logic. (English) Zbl 07274644 Cambridge: Cambridge University Press (ISBN 978-1-108-84047-7/hbk; 978-1-108-88612-3/ebook). xii, 228 p. (2021). MSC: 03-02 03A05 03B16 PDF BibTeX XML Cite \textit{R. Trueman}, Properties and propositions. The metaphysics of higher-order logic. Cambridge: Cambridge University Press (2021; Zbl 07274644) Full Text: DOI
Barbero, Fausto Complexity of syntactical tree fragments of independence-friendly logic. (English) Zbl 07260106 Ann. Pure Appl. Logic 172, No. 1, Article ID 102859, 43 p. (2021). MSC: 03C80 03C85 03B60 68Q19 PDF BibTeX XML Cite \textit{F. Barbero}, Ann. Pure Appl. Logic 172, No. 1, Article ID 102859, 43 p. (2021; Zbl 07260106) Full Text: DOI
Pezlar, Ivo Composition of deductions within the propositions-as-types paradigm. (English) Zbl 07311775 Log. Univers. 14, No. 4, 481-493 (2020). MSC: 03F03 03B40 03B15 PDF BibTeX XML Cite \textit{I. Pezlar}, Log. Univers. 14, No. 4, 481--493 (2020; Zbl 07311775) Full Text: DOI
Powell, Thomas On the computational content of Zorn’s lemma. (English) Zbl 07299511 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 768-781 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Powell}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 768--781 (2020; Zbl 07299511) Full Text: DOI
Bojańczyk, Mikołaj; Kelmendi, Edon; Stefański, Rafał; Zetzsche, Georg Extensions of \(\omega \)-regular languages. (English) Zbl 07299474 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 266-272 (2020). MSC: 03B16 03B25 68Q45 PDF BibTeX XML Cite \textit{M. Bojańczyk} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 266--272 (2020; Zbl 07299474) Full Text: DOI
Weber, Matthias An extended type system with lambda-typed lambda-expressions. (English) Zbl 07285579 Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. Weber}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020; Zbl 07285579) Full Text: Link arXiv
Wright, Crispin Replies to Part I. Frege and logicism. (English) Zbl 07279918 Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press (ISBN 978-0-19-927834-3/hbk). 279-353 (2020). MSC: 03A05 01A61 01A60 01A70 PDF BibTeX XML Cite \textit{C. Wright}, in: Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 279--353 (2020; Zbl 07279918) Full Text: DOI
Bakhshi, M.; Khavari, M. R.; Nazifi, M. Isomorphisms in EQ-algebras. (English) Zbl 07278264 Discuss. Math., Gen. Algebra Appl. 40, No. 2, 267-274 (2020). MSC: 03B15 08A72 PDF BibTeX XML Cite \textit{M. Bakhshi} et al., Discuss. Math., Gen. Algebra Appl. 40, No. 2, 267--274 (2020; Zbl 07278264) Full Text: DOI
Benzmüller, Christoph; Parent, Xavier; van der Torre, Leendert Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. (English) Zbl 07274579 Artif. Intell. 287, Article ID 103348, 28 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{C. Benzmüller} et al., Artif. Intell. 287, Article ID 103348, 28 p. (2020; Zbl 07274579) Full Text: DOI
Kobayashi, Naoki; Lago, Ugo Dal; Grellois, Charles On the termination problem for probabilistic higher-order recursive programs. (English) Zbl 07269249 Log. Methods Comput. Sci. 16, No. 4, Paper No. 2, 57 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{N. Kobayashi} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 2, 57 p. (2020; Zbl 07269249) Full Text: Link arXiv
Abrahamsson, Oskar; Ho, Son; Kanabar, Hrutvik; Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Tan, Yong Kiam Proof-producing synthesis of CakeML from monadic HOL functions. (English) Zbl 07268903 J. Autom. Reasoning 64, No. 7, 1287-1306 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{O. Abrahamsson} et al., J. Autom. Reasoning 64, No. 7, 1287--1306 (2020; Zbl 07268903) Full Text: DOI
Anel, Mathieu; Biedermann, Georg; Finster, Eric; Joyal, André A generalized Blakers-Massey theorem. (English) Zbl 07262227 J. Topol. 13, No. 4, 1521-1553 (2020). MSC: 18 03B15 55P99 18F99 18B25 PDF BibTeX XML Cite \textit{M. Anel} et al., J. Topol. 13, No. 4, 1521--1553 (2020; Zbl 07262227) Full Text: DOI
Benzmüller, Christoph; Fuenmayor, David Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel’s ontological argument. (English) Zbl 07261571 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 127-148 (2020). MSC: 03 PDF BibTeX XML Cite \textit{C. Benzmüller} and \textit{D. Fuenmayor}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 127--148 (2020; Zbl 07261571) Full Text: DOI
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio The power of the weak. (English) Zbl 1446.68089 ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020). MSC: 68Q60 03B16 03B45 68Q45 PDF BibTeX XML Cite \textit{F. Carreiro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020; Zbl 1446.68089) Full Text: DOI
Rashid, Adnan; Hasan, Osman Formal verification of robotic cell injection systems up to 4-DOF using HOL Light. (English) Zbl 07245546 Formal Asp. Comput. 32, No. 2-3, 229-250 (2020). MSC: 68 PDF BibTeX XML Cite \textit{A. Rashid} and \textit{O. Hasan}, Formal Asp. Comput. 32, No. 2--3, 229--250 (2020; Zbl 07245546) Full Text: DOI
Zhukovskii, M. E. Logical laws for short existential monadic second-order sentences about graphs. (English) Zbl 07244014 J. Math. Log. 20, No. 2, Article ID 2050007, 23 p. (2020). MSC: 03B15 03C13 05C80 PDF BibTeX XML Cite \textit{M. E. Zhukovskii}, J. Math. Log. 20, No. 2, Article ID 2050007, 23 p. (2020; Zbl 07244014) Full Text: DOI
Ferreira, Fernando The FAN principle and weak König’s lemma in herbrandized second-order arithmetic. (English) Zbl 07240983 Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020). Reviewer: Bruno Dinis (Lisboa) MSC: 03F10 03F35 03F50 03B40 03F25 PDF BibTeX XML Cite \textit{F. Ferreira}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020; Zbl 07240983) Full Text: DOI
Ahmad, Waqar; Hasan, Osman; Tahar, Sofiène Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation. (English) Zbl 1451.68057 Formal Asp. Comput. 32, No. 1, 71-111 (2020). MSC: 68M15 68M10 68V15 PDF BibTeX XML Cite \textit{W. Ahmad} et al., Formal Asp. Comput. 32, No. 1, 71--111 (2020; Zbl 1451.68057) Full Text: DOI
Restović, Ivan Why not fuzzy logic? (English) Zbl 1446.68155 Skansi, Sandro (ed.), Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 29-40 (2020). MSC: 68T37 03B52 PDF BibTeX XML Cite \textit{I. Restović}, in: Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 29--40 (2020; Zbl 1446.68155) Full Text: DOI
Boney, Will Model theoretic characterizations of large cardinals. (English) Zbl 1443.03029 Isr. J. Math. 236, No. 1, 133-181 (2020). Reviewer: Luis Miguel Villegas Silva (Ciudad de México) MSC: 03E55 03C20 03C55 03C75 03C85 03E45 PDF BibTeX XML Cite \textit{W. Boney}, Isr. J. Math. 236, No. 1, 133--181 (2020; Zbl 1443.03029) Full Text: DOI
Sanders, Sam Lifting recursive counterexamples to higher-order arithmetic. (English) Zbl 07197417 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 249-267 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{S. Sanders}, Lect. Notes Comput. Sci. 11972, 249--267 (2020; Zbl 07197417) Full Text: DOI
Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza CryptHOL: game-based proofs in higher-order logic. (English) Zbl 07194394 J. Cryptology 33, No. 2, 494-566 (2020). MSC: 94A60 94A62 68V15 91A99 PDF BibTeX XML Cite \textit{D. A. Basin} et al., J. Cryptology 33, No. 2, 494--566 (2020; Zbl 07194394) Full Text: DOI
Courcelle, Bruno On quasi-planar graphs: clique-width and logical description. (English) Zbl 1437.05059 Discrete Appl. Math. 278, 118-135 (2020). MSC: 05C10 05C05 05C85 05C75 03B16 PDF BibTeX XML Cite \textit{B. Courcelle}, Discrete Appl. Math. 278, 118--135 (2020; Zbl 1437.05059) Full Text: DOI
Abrahamsson, Oskar A verified proof checker for higher-order logic. (English) Zbl 1433.68527 J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020). MSC: 68V15 03B16 PDF BibTeX XML Cite \textit{O. Abrahamsson}, J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020; Zbl 1433.68527) Full Text: DOI
Gadgil, Siddhartha Homogeneous length functions on groups: intertwined computer and human proofs. (English) Zbl 07187042 J. Autom. Reasoning 64, No. 4, 677-688 (2020). MSC: 68V15 03B15 20F12 20F65 PDF BibTeX XML Cite \textit{S. Gadgil}, J. Autom. Reasoning 64, No. 4, 677--688 (2020; Zbl 07187042) Full Text: DOI
Powell, Thomas Dependent choice as a termination principle. (English) Zbl 07184244 Arch. Math. Logic 59, No. 3-4, 503-516 (2020). MSC: 03F03 03B15 03B70 PDF BibTeX XML Cite \textit{T. Powell}, Arch. Math. Logic 59, No. 3--4, 503--516 (2020; Zbl 07184244) Full Text: DOI
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. Mechanizing Principia Logico-Metaphysica in functional type-theory. (English) Zbl 07181947 Rev. Symb. Log. 13, No. 1, 206-218 (2020). MSC: 03A05 03B35 03B45 03B60 03B80 68V15 68T27 68T30 PDF BibTeX XML Cite \textit{D. Kirchner} et al., Rev. Symb. Log. 13, No. 1, 206--218 (2020; Zbl 07181947) Full Text: DOI
Kaufmann, Matt; Moore, J. Strother Limited second-order functionality in a first-order setting. (English) Zbl 07176603 J. Autom. Reasoning 64, No. 3, 391-422 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Kaufmann} and \textit{J. S. Moore}, J. Autom. Reasoning 64, No. 3, 391--422 (2020; Zbl 07176603) Full Text: DOI
Benzmüller, Christoph; Scott, Dana S. Automating free logic in HOL, with an experimental application in category theory. (English) Zbl 1434.68639 J. Autom. Reasoning 64, No. 1, 53-72 (2020). MSC: 68V15 03B16 03B35 03B60 18A15 PDF BibTeX XML Cite \textit{C. Benzmüller} and \textit{D. S. Scott}, J. Autom. Reasoning 64, No. 1, 53--72 (2020; Zbl 1434.68639) Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Free logic and the quantified argument calculus. (English) Zbl 07237969 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 105-115 (2019). MSC: 03F03 03B15 03B65 PDF BibTeX XML Cite \textit{E. Pavlović} and \textit{N. Gratzl}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 105--115 (2019; Zbl 07237969) Full Text: DOI
Fuenmayor, David; Benzmüller, Christoph Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. (English) Zbl 07229671 Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer (ISBN 978-981-13-7790-7/hbk; 978-981-13-7793-8/pbk; 978-981-13-7791-4/ebook). Logic in Asia: Studia Logica Library, 187-207 (2019). MSC: 03-06 PDF BibTeX XML Cite \textit{D. Fuenmayor} and \textit{C. Benzmüller}, in: Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16--17, 2018. Singapore: Springer. 187--207 (2019; Zbl 07229671) Full Text: DOI
Fuenmayor, David; Benzmüller, Christoph Mechanised assessment of complex natural-language arguments using expressive logic combinations. (English) Zbl 1435.68315 Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 112-128 (2019). MSC: 68T27 68T50 68V15 PDF BibTeX XML Cite \textit{D. Fuenmayor} and \textit{C. Benzmüller}, Lect. Notes Comput. Sci. 11715, 112--128 (2019; Zbl 1435.68315) Full Text: DOI
Charalambidis, Angelos; Nomikos, Christos; Rondogiannis, Panos The expressive power of higher-order Datalog. (English) Zbl 1434.68070 Theory Pract. Log. Program. 19, No. 5-6, 925-940 (2019). MSC: 68N17 68P15 68Q19 PDF BibTeX XML Cite \textit{A. Charalambidis} et al., Theory Pract. Log. Program. 19, No. 5--6, 925--940 (2019; Zbl 1434.68070) Full Text: DOI
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 123-141 (2019). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{C. E. Brown} et al., Lect. Notes Comput. Sci. 11716, 123--141 (2019; Zbl 07178973) Full Text: DOI
Boulkhrachef, S.; Moualdia, A.; Boudana, D. J.; Wira, P. Higher-order sliding mode control of a wind energy conversion system. (English) Zbl 07172243 Nonlinear Dyn. Syst. Theory 19, No. 4, 486-496 (2019). MSC: 03B52 93C42 94D05 PDF BibTeX XML Cite \textit{S. Boulkhrachef} et al., Nonlinear Dyn. Syst. Theory 19, No. 4, 486--496 (2019; Zbl 07172243)
Bacon, Andrew Substitution structures. (English) Zbl 07167426 J. Philos. Log. 48, No. 6, 1017-1075 (2019). MSC: 03 PDF BibTeX XML Cite \textit{A. Bacon}, J. Philos. Log. 48, No. 6, 1017--1075 (2019; Zbl 07167426) Full Text: DOI
Pradic, Pierre; Riba, Colin A Dialectica-like interpretation of a linear MSO on infinite words. (English) Zbl 1429.03214 Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 470-487 (2019). MSC: 03F52 03D05 03B16 PDF BibTeX XML Cite \textit{P. Pradic} and \textit{C. Riba}, Lect. Notes Comput. Sci. 11425, 470--487 (2019; Zbl 1429.03214) Full Text: DOI
Kurata, Toshihiko; Fujita, Ken-etsu Neighbourhood and lattice models of second-order intuitionistic propositional logic. (English) Zbl 1437.03041 Fundam. Inform. 170, No. 1-3, 223-240 (2019). MSC: 03B16 03B20 03G25 06D20 PDF BibTeX XML Cite \textit{T. Kurata} and \textit{K.-e. Fujita}, Fundam. Inform. 170, No. 1--3, 223--240 (2019; Zbl 1437.03041) Full Text: DOI
Parisi, Andrew Sellars, second-order quantification, and ontological commitment. (English) Zbl 1427.03030 Hist. Philos. Log. 40, No. 1, 81-97 (2019). MSC: 03B16 03A05 PDF BibTeX XML Cite \textit{A. Parisi}, Hist. Philos. Log. 40, No. 1, 81--97 (2019; Zbl 1427.03030) Full Text: DOI
Knop, Dušan; Koutecký, Martin; Masařík, Tomáš; Toufar, Tomáš Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity. (English) Zbl 1427.68125 Log. Methods Comput. Sci. 15, No. 4, Paper No. 12, 32 p. (2019). MSC: 68Q25 03B16 68Q60 68R10 PDF BibTeX XML Cite \textit{D. Knop} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 12, 32 p. (2019; Zbl 1427.68125) Full Text: arXiv
Parys, Paweł Extensions of the Caucal hierarchy? (English) Zbl 1425.03005 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 368-380 (2019). MSC: 03B15 03D05 05C76 68Q45 68R10 PDF BibTeX XML Cite \textit{P. Parys}, Lect. Notes Comput. Sci. 11417, 368--380 (2019; Zbl 1425.03005) Full Text: DOI
Milicevic, Aleksandar; Near, Joseph P.; Kang, Eunsuk; Jackson, Daniel Alloy*: a general-purpose higher-order relational constraint solver. (English) Zbl 1425.68264 Form. Methods Syst. Des. 55, No. 1, 1-32 (2019). MSC: 68Q60 68T15 68T20 PDF BibTeX XML Cite \textit{A. Milicevic} et al., Form. Methods Syst. Des. 55, No. 1, 1--32 (2019; Zbl 1425.68264) Full Text: DOI
Pistone, Paolo On completeness and parametricity in the realizability semantics of System F. (English) Zbl 07136665 Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019). MSC: 03B15 03B70 03F03 03F05 PDF BibTeX XML Cite \textit{P. Pistone}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019; Zbl 07136665) Full Text: arXiv
Barbero, Fausto Some observations about generalized quantifiers in logics of imperfect information. (English) Zbl 07124570 Rev. Symb. Log. 12, No. 3, 456-486 (2019). MSC: 03B60 03C80 PDF BibTeX XML Cite \textit{F. Barbero}, Rev. Symb. Log. 12, No. 3, 456--486 (2019; Zbl 07124570) Full Text: DOI arXiv
Klev, Ansten Eta-rules in Martin-Löf type theory. (English) Zbl 07123754 Bull. Symb. Log. 25, No. 3, 333-359 (2019). MSC: 03B15 03A05 PDF BibTeX XML Cite \textit{A. Klev}, Bull. Symb. Log. 25, No. 3, 333--359 (2019; Zbl 07123754) Full Text: DOI
Mahmoud, Mohamed Yousri; Felty, Amy P. Formalization of metatheory of the quipper quantum programming language in a linear logic. (English) Zbl 07121996 J. Autom. Reasoning 63, No. 4, 967-1002 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{M. Y. Mahmoud} and \textit{A. P. Felty}, J. Autom. Reasoning 63, No. 4, 967--1002 (2019; Zbl 07121996) Full Text: DOI
Novák, Vilém Subtypes in fuzzy type theory. (English) Zbl 1423.03088 Fuzzy Sets Syst. 363, 66-83 (2019). MSC: 03B52 03B15 03B40 PDF BibTeX XML Cite \textit{V. Novák}, Fuzzy Sets Syst. 363, 66--83 (2019; Zbl 1423.03088) Full Text: DOI
Palmgren, Erik Categories with families and first-order logic with dependent sorts. (English) Zbl 07114351 Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019). MSC: 18C10 03B15 03F50 03G30 68Q55 PDF BibTeX XML Cite \textit{E. Palmgren}, Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019; Zbl 07114351) Full Text: DOI
Rönnholm, Raine The expressive power of \(k\)-ary exclusion logic. (English) Zbl 07106328 Ann. Pure Appl. Logic 170, No. 9, 1070-1099 (2019). MSC: 03B60 03B70 03C80 03C85 PDF BibTeX XML Cite \textit{R. Rönnholm}, Ann. Pure Appl. Logic 170, No. 9, 1070--1099 (2019; Zbl 07106328) Full Text: DOI
Galliani, Pietro Characterizing downwards closed, strongly first-order, relativizable dependencies. (English) Zbl 07106188 J. Symb. Log. 84, No. 3, 1136-1167 (2019). MSC: 03C80 03C85 PDF BibTeX XML Cite \textit{P. Galliani}, J. Symb. Log. 84, No. 3, 1136--1167 (2019; Zbl 07106188) Full Text: DOI arXiv
Cheng, Yong Incompleteness for higher-order arithmetic. An example based on Harrington’s principle. (English) Zbl 07093515 SpringerBriefs in Mathematics. Singapore: Springer (ISBN 978-981-13-9948-0/pbk; 978-981-13-9949-7/ebook). xiv, 122 p. (2019). Reviewer: Roman Murawski (Poznań) MSC: 03-02 03F35 PDF BibTeX XML Cite \textit{Y. Cheng}, Incompleteness for higher-order arithmetic. An example based on Harrington's principle. Singapore: Springer (2019; Zbl 07093515) Full Text: DOI
Eastaugh, Benedict Set existence principles and closure conditions: unravelling the standard view of reverse mathematics. (English) Zbl 1423.03049 Philos. Math. (3) 27, No. 2, 153-176 (2019). MSC: 03B30 03A05 03F35 PDF BibTeX XML Cite \textit{B. Eastaugh}, Philos. Math. (3) 27, No. 2, 153--176 (2019; Zbl 1423.03049) Full Text: DOI
Jacinto, Bruno Serious actualism and higher-order predication. (English) Zbl 07075015 J. Philos. Log. 48, No. 3, 471-499 (2019). MSC: 03 PDF BibTeX XML Cite \textit{B. Jacinto}, J. Philos. Log. 48, No. 3, 471--499 (2019; Zbl 07075015) Full Text: DOI
Boiret, Adrien; Hugot, Vincent; Niehren, Joachim; Treinen, Ralf Logics for unordered trees with data constraints. (English) Zbl 1423.68136 J. Comput. Syst. Sci. 104, 149-164 (2019). MSC: 68P15 03B15 03B25 68P05 PDF BibTeX XML Cite \textit{A. Boiret} et al., J. Comput. Syst. Sci. 104, 149--164 (2019; Zbl 1423.68136) Full Text: DOI
Babari, Parvaneh; Droste, Manfred A Nivat theorem for weighted picture automata and weighted MSO logics. (English) Zbl 1423.68242 J. Comput. Syst. Sci. 104, 41-57 (2019). MSC: 68Q45 03B15 03D05 PDF BibTeX XML Cite \textit{P. Babari} and \textit{M. Droste}, J. Comput. Syst. Sci. 104, 41--57 (2019; Zbl 1423.68242) Full Text: DOI
Coquand, Thierry Canonicity and normalization for dependent type theory. (English) Zbl 07067587 Theor. Comput. Sci. 777, 184-191 (2019). MSC: 03B38 03B40 PDF BibTeX XML Cite \textit{T. Coquand}, Theor. Comput. Sci. 777, 184--191 (2019; Zbl 07067587) Full Text: DOI
Holmes, M. Randall Representation of functions and total antisymmetric relations in monadic third order logic. (English) Zbl 07066825 J. Philos. Log. 48, No. 2, 263-278 (2019). MSC: 03 PDF BibTeX XML Cite \textit{M. R. Holmes}, J. Philos. Log. 48, No. 2, 263--278 (2019; Zbl 07066825) Full Text: DOI
Flocke, Vera Carnap’s defense of impredicative definitions. (English) Zbl 1411.00028 Rev. Symb. Log. 12, No. 2, 372-404 (2019). Reviewer: Roman Murawski (Poznań) MSC: 00A30 01A60 03B15 PDF BibTeX XML Cite \textit{V. Flocke}, Rev. Symb. Log. 12, No. 2, 372--404 (2019; Zbl 1411.00028) Full Text: DOI
Fujiwara, Makoto; Kawai, Tatsuji Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. (English) Zbl 07061093 Ann. Pure Appl. Logic 170, No. 8, 867-890 (2019). MSC: 03F55 03F35 03F10 03B30 03B20 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{T. Kawai}, Ann. Pure Appl. Logic 170, No. 8, 867--890 (2019; Zbl 07061093) Full Text: DOI
Ebels-Duggan, Sean C. Abstraction principles and the classification of second-order equivalence relations. (English) Zbl 07060309 Notre Dame J. Formal Logic 60, No. 1, 77-117 (2019). MSC: 03A05 00A30 03B15 00A30 PDF BibTeX XML Cite \textit{S. C. Ebels-Duggan}, Notre Dame J. Formal Logic 60, No. 1, 77--117 (2019; Zbl 07060309) Full Text: DOI Euclid
Kołodziejczyk, Leszek; Michalewski, Henryk; Pradic, Pierre; Skrzypczak, Michał The logical strength of Büchi’s decidability theorem. (English) Zbl 07058775 Log. Methods Comput. Sci. 15, No. 2, Paper No. 16, 31 p. (2019). MSC: 03D05 03B25 03F35 PDF BibTeX XML Cite \textit{L. Kołodziejczyk} et al., Log. Methods Comput. Sci. 15, No. 2, Paper No. 16, 31 p. (2019; Zbl 07058775) Full Text: arXiv
Kapulkin, Krzysztof; Szumiło, Karol Internal languages of finitely complete \((\infty , 1)\)-categories. (English) Zbl 07056269 Sel. Math., New Ser. 25, No. 2, Paper No. 33, 46 p. (2019). MSC: 18G55 55U35 03B15 PDF BibTeX XML Cite \textit{K. Kapulkin} and \textit{K. Szumiło}, Sel. Math., New Ser. 25, No. 2, Paper No. 33, 46 p. (2019; Zbl 07056269) Full Text: DOI
Kunčar, Ondřej; Popescu, Andrei A consistent foundation for Isabelle/HOL. (English) Zbl 07048643 J. Autom. Reasoning 62, No. 4, 531-555 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{O. Kunčar} and \textit{A. Popescu}, J. Autom. Reasoning 62, No. 4, 531--555 (2019; Zbl 07048643) Full Text: DOI
Jay, Barry Intensional computation with higher-order functions. (English) Zbl 1417.68041 Theor. Comput. Sci. 768, 76-90 (2019). MSC: 68Q01 03B40 68Q42 PDF BibTeX XML Cite \textit{B. Jay}, Theor. Comput. Sci. 768, 76--90 (2019; Zbl 1417.68041) Full Text: DOI
Ahrens, Benedikt; Lefanu Lumsdaine, Peter Displayed categories. (English) Zbl 1419.18001 Log. Methods Comput. Sci. 15, No. 1, Paper No. 20, 18 p. (2019). Reviewer: Marco Benini (Buccinasco) MSC: 18A15 03B15 PDF BibTeX XML Cite \textit{B. Ahrens} and \textit{P. Lefanu Lumsdaine}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 20, 18 p. (2019; Zbl 1419.18001) Full Text: arXiv
Frumin, Dan; van den Berg, Benno A homotopy-theoretic model of function extensionality in the effective topos. (English) Zbl 1422.18005 Math. Struct. Comput. Sci. 29, No. 4, 588-614 (2019). Reviewer: Alexander Vauth (Lübbecke) MSC: 18B25 03B15 55U35 PDF BibTeX XML Cite \textit{D. Frumin} and \textit{B. van den Berg}, Math. Struct. Comput. Sci. 29, No. 4, 588--614 (2019; Zbl 1422.18005) Full Text: DOI
Popova, S. N.; Zhukovskii, M. E. Existential monadic second order logic of undirected graphs: the Le Bars conjecture is false. (English) Zbl 07011463 Ann. Pure Appl. Logic 170, No. 4, 505-514 (2019). MSC: 03C85 03C13 60C05 05C80 PDF BibTeX XML Cite \textit{S. N. Popova} and \textit{M. E. Zhukovskii}, Ann. Pure Appl. Logic 170, No. 4, 505--514 (2019; Zbl 07011463) Full Text: DOI
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò Quotienting the delay monad by weak bisimilarity. (English) Zbl 1407.68306 Math. Struct. Comput. Sci. 29, No. 1, 67-92 (2019). MSC: 68Q65 03B15 68N18 68Q55 68T15 PDF BibTeX XML Cite \textit{J. Chapman} et al., Math. Struct. Comput. Sci. 29, No. 1, 67--92 (2019; Zbl 1407.68306) Full Text: DOI
Holroyd, Alexander E.; Levy, Avi; Podder, Moumanti; Spencer, Joel Existential monadic second order logic on random rooted trees. (English) Zbl 1400.05211 Discrete Math. 342, No. 1, 152-167 (2019). MSC: 05C80 05C05 03B15 PDF BibTeX XML Cite \textit{A. E. Holroyd} et al., Discrete Math. 342, No. 1, 152--167 (2019; Zbl 1400.05211) Full Text: DOI
Gauthier, Thibault; Kaliszyk, Cezary Aligning concepts across proof assistant libraries. (English) Zbl 1395.68247 J. Symb. Comput. 90, 89-123 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{T. Gauthier} and \textit{C. Kaliszyk}, J. Symb. Comput. 90, 89--123 (2019; Zbl 1395.68247) Full Text: DOI
Rashid, Adnan; Hasan, Osman Formal analysis of continuous-time systems using Fourier transform. (English) Zbl 1395.68251 J. Symb. Comput. 90, 65-88 (2019). MSC: 68T15 34A30 42A38 68W30 PDF BibTeX XML Cite \textit{A. Rashid} and \textit{O. Hasan}, J. Symb. Comput. 90, 65--88 (2019; Zbl 1395.68251) Full Text: DOI
Nanjo, Yoji; Unno, Hiroshi; Koskinen, Eric; Terauchi, Tachio A fixpoint logic and dependent effects for temporal property verification. (English) Zbl 07298801 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 759-768 (2018). MSC: 68Q60 03B70 PDF BibTeX XML Cite \textit{Y. Nanjo} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 759--768 (2018; Zbl 07298801) Full Text: DOI
Kerjean, Marie A logical account for linear partial differential equations. (English) Zbl 1452.03135 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 589-598 (2018). MSC: 03F52 18C50 35G05 PDF BibTeX XML Cite \textit{M. Kerjean}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 589--598 (2018; Zbl 1452.03135) Full Text: DOI
Kapron, Bruce M.; Steinberg, Florian Type-two polynomial-time and restricted lookahead. (English) Zbl 1452.03097 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 579-588 (2018). MSC: 03D65 03B40 PDF BibTeX XML Cite \textit{B. M. Kapron} and \textit{F. Steinberg}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 579--588 (2018; Zbl 1452.03097) Full Text: DOI
Bojańczyk, Mikołaj; Grohe, Martin; Pilipczuk, Michał Definable decompositions for graphs of bounded linear cliquewidth. (English) Zbl 1452.03088 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 135-144 (2018). MSC: 03D05 03B16 05C70 68Q25 68Q45 PDF BibTeX XML Cite \textit{M. Bojańczyk} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 135--144 (2018; Zbl 1452.03088) Full Text: DOI
Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP. (English) Zbl 1452.03084 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 105-114 (2018). MSC: 03C13 03C05 03B16 68Q25 PDF BibTeX XML Cite \textit{M. Bodirsky} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 105--114 (2018; Zbl 1452.03084) Full Text: DOI
Ferrarotti, Flavio; Tec, Loredana; Turell-Torres, José María Polynomially bounded valuations in higher-order logics over relational databases. (English) Zbl 1446.68053 Mashkoor, Atif (ed.) et al., Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday. London: College Publications. Tributes 34, 92-121 (2018). MSC: 68P15 03B16 PDF BibTeX XML Cite \textit{F. Ferrarotti} et al., Tributes 34, 92--121 (2018; Zbl 1446.68053)
Cayrol, Claudette; Fandinno, Jorge; del Cerro, Luis Farinas; Lagasquie-Schiex, M-Christine Structure-based semantics of argumentation frameworks with higher-order attacks and supports. (English) Zbl 1440.68261 Chesñevar, Carlos I. (ed.) et al., Argumentation-based proofs of endearment. Essays in honor of Guillermo R. Simari on the occasion of his 70th birthday. London: College Publications. Tributes 37, 43-72 (2018). MSC: 68T27 PDF BibTeX XML Cite \textit{C. Cayrol} et al., Tributes 37, 43--72 (2018; Zbl 1440.68261)
Parys, Paweł Recursion schemes and the WMSO+U logic. (English) Zbl 07228444 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-062-0). LIPIcs – Leibniz International Proceedings in Informatics 96, Article 53, 16 p. (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Parys}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 53, 16 p. (2018; Zbl 07228444) Full Text: DOI
Ferreira, Fernando Zigzag and Fregean arithmetic. (English) Zbl 1436.03035 Tahiri, Hassan (ed.), The philosophers and mathematics. Festschrift for Roshdi Rashed. Cham: Springer. Log. Epistemol. Unity Sci. 43, 81-100 (2018). MSC: 03A05 03F35 PDF BibTeX XML Cite \textit{F. Ferreira}, Log. Epistemol. Unity Sci. 43, 81--100 (2018; Zbl 1436.03035) Full Text: DOI
Cayrol, Claudette; Fandinno, Jorge; Farinas del Cerro, Luis; Lagasquie-Schiex, M.-Christine Structure-based semantics of argumentation frameworks with higher-order attacks and supports. (English) Zbl 1430.68301 Modgil, Sanjay (ed.) et al., Computational models of argument. Proceedings of the 7th conference, COMMA 2018, Warsaw, Poland, September 12–14, 2018. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 305, 29-36 (2018). MSC: 68T27 PDF BibTeX XML Cite \textit{C. Cayrol} et al., Front. Artif. Intell. Appl. 305, 29--36 (2018; Zbl 1430.68301) Full Text: DOI
Gengelbach, Arve; Weber, Tjark Model-theoretic conservative extension for definitional theories. (English) Zbl 1434.03028 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 133-145 (2018). MSC: 03B35 03B16 03C07 68V15 PDF BibTeX XML Cite \textit{A. Gengelbach} and \textit{T. Weber}, Electron. Notes Theor. Comput. Sci. 338, 133--145 (2018; Zbl 1434.03028) Full Text: DOI
Awodey, Steve A proposition is the (homotopy) type of it proofs. (English) Zbl 1423.03041 Reck, Erich H. (ed.), Logic, philosophy of mathematics, and their history. Essays in honor of W. W. Tait. London: College Publications. Tributes 36, 53-75 (2018). MSC: 03B15 03F03 55U40 55U35 03G30 03A05 PDF BibTeX XML Cite \textit{S. Awodey}, Tributes 36, 53--75 (2018; Zbl 1423.03041)
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier A dyadic deontic logic in HOL. (English) Zbl 1418.03069 Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018). MSC: 03B45 03B15 03B35 PDF BibTeX XML Cite \textit{C. Benzmüller} et al., in: Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3--6, 2018. Proceedings. London: College Publications. 33--49 (2018; Zbl 1418.03069)
Klev, Ansten The logical form of identity criteria. (English) Zbl 1418.03033 Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 181-195 (2018). MSC: 03B15 03A05 PDF BibTeX XML Cite \textit{A. Klev}, in: The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19--23, 2017. London: College Publications. 181--195 (2018; Zbl 1418.03033)
Douéneau-Tabot, Gaëtan; Pinchinat, Sophie; Schwarzentruber, François Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis. (English) Zbl 1418.03032 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 237-256 (2018). MSC: 03B15 03B42 PDF BibTeX XML Cite \textit{G. Douéneau-Tabot} et al., in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 237--256 (2018; Zbl 1418.03032)
Džamonja, Mirna; Väänänen, Jouko Some strong logics within combinatorial set theory and the logic of chains. (English) Zbl 1438.03011 Sarajevo J. Math. 14(27), No. 2, 133-141 (2018). MSC: 03C75 03C55 03C80 03C85 03E05 03E55 03E75 PDF BibTeX XML Cite \textit{M. Džamonja} and \textit{J. Väänänen}, Sarajevo J. Math. 14(27), No. 2, 133--141 (2018; Zbl 1438.03011) Full Text: DOI
Bjørdal, Frode Alfson All properties are divine or god exists – the sacred thesis and its ontological argument. (English) Zbl 1436.03022 Log. Log. Philos. 27, No. 3, 329-350 (2018). MSC: 03A05 03B45 03B16 PDF BibTeX XML Cite \textit{F. A. Bjørdal}, Log. Log. Philos. 27, No. 3, 329--350 (2018; Zbl 1436.03022) Full Text: DOI
Buchholtz, Ulrik; Rijke, Egbert The Cayley-Dickson construction in homotopy type theory. (English) Zbl 07038448 High. Struct. 2, No. 1, 30-41 (2018). MSC: 03B15 17A35 55P45 55U35 PDF BibTeX XML Cite \textit{U. Buchholtz} and \textit{E. Rijke}, High. Struct. 2, No. 1, 30--41 (2018; Zbl 07038448) Full Text: Link arXiv
Belardinelli, Francesco; Van der Hoek, Wiebe; Kuijer, Louwe B. Second-order propositional modal logic: expressiveness and completeness results. (English) Zbl 1436.03128 Artif. Intell. 263, 3-45 (2018). MSC: 03B45 03B16 68T30 PDF BibTeX XML Cite \textit{F. Belardinelli} et al., Artif. Intell. 263, 3--45 (2018; Zbl 1436.03128) Full Text: DOI
van de Pol, Iris; van Rooij, Iris; Szymanik, Jakub Parameterized complexity of theory of mind reasoning in dynamic epistemic logic. (English) Zbl 07003160 J. Logic Lang. Inf. 27, No. 3, 255-294 (2018). MSC: 03B42 PDF BibTeX XML Cite \textit{I. van de Pol} et al., J. Logic Lang. Inf. 27, No. 3, 255--294 (2018; Zbl 07003160) Full Text: DOI
Běhounek, Libor; Majer, Ondrej Fuzzy intensional semantics. (English) Zbl 07001323 J. Appl. Non-Class. Log. 28, No. 4, 348-388 (2018). MSC: 03B52 03B45 PDF BibTeX XML Cite \textit{L. Běhounek} and \textit{O. Majer}, J. Appl. Non-Class. Log. 28, No. 4, 348--388 (2018; Zbl 07001323) Full Text: DOI
Hazen, Allen P.; Pelletier, Francis Jeffry Second-order logic of paradox. (English) Zbl 06996543 Notre Dame J. Formal Logic 59, No. 4, 547-558 (2018). MSC: 03B53 03C85 03B50 03E70 PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Notre Dame J. Formal Logic 59, No. 4, 547--558 (2018; Zbl 06996543) Full Text: DOI Euclid
Bacon, Andrew The broadest necessity. (English) Zbl 06995839 J. Philos. Log. 47, No. 5, 733-783 (2018); correction ibid. 47, No. 5, 785 (2018). MSC: 03 PDF BibTeX XML Cite \textit{A. Bacon}, J. Philos. Log. 47, No. 5, 733--783 (2018; Zbl 06995839) Full Text: DOI
Hazen, Allen P.; Pelletier, Francis Jeffry Pecularities of some three- and four-valued second order logics. (English) Zbl 1405.03060 Log. Univers. 12, No. 3-4, 493-509 (2018). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03B15 03B53 03B62 PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Log. Univers. 12, No. 3--4, 493--509 (2018; Zbl 1405.03060) Full Text: DOI
Movsisyan, Yuri On functional equations and distributive second order formulae with specialized quantifiers. (English) Zbl 1403.20072 Algebra Discrete Math. 25, No. 2, 269-285 (2018). Reviewer: C. Pereira da Silva (Curitiba) MSC: 20N05 20N02 03C85 03C05 08B05 39B52 PDF BibTeX XML Cite \textit{Y. Movsisyan}, Algebra Discrete Math. 25, No. 2, 269--285 (2018; Zbl 1403.20072)
Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna Approximation fixpoint theory and the well-founded semantics of higher-order logic programs. (English) Zbl 1452.68037 Theory Pract. Log. Program. 18, No. 3-4, 421-437 (2018). MSC: 68N17 PDF BibTeX XML Cite \textit{A. Charalambidis} et al., Theory Pract. Log. Program. 18, No. 3--4, 421--437 (2018; Zbl 1452.68037) Full Text: DOI
Steen, Alexander Extensional paramodulation for higher-order logic and its effective implementation Leo-III. (English) Zbl 1402.68013 DISKI. Dissertationen zur Künstlichen Intelligenz 345. Berlin: Akademische Verlagsgesellschaft AKA; Amsterdam: IOS Press; Berlin: FU Berlin (Diss.) (ISBN 978-1-61499-919-5/pbk; 978-3-89838-739-2/pbk). xiii, 231 p. (2018). MSC: 68-02 03B15 03B35 68T15 PDF BibTeX XML Cite \textit{A. Steen}, Extensional paramodulation for higher-order logic and its effective implementation Leo-III. Berlin: Akademische Verlagsgesellschaft AKA; Amsterdam: IOS Press; Berlin: FU Berlin (Diss.) (2018; Zbl 1402.68013)
Ladyman, James; Presnell, Stuart Does homotopy type theory provide a foundation for mathematics? (English) Zbl 1400.03012 Br. J. Philos. Sci. 69, No. 2, 377-420 (2018). MSC: 03A05 03B15 55U35 PDF BibTeX XML Cite \textit{J. Ladyman} and \textit{S. Presnell}, Br. J. Philos. Sci. 69, No. 2, 377--420 (2018; Zbl 1400.03012) Full Text: DOI
Casullo, Albert Pollock and Sturgeon on defeaters. (English) Zbl 1398.03014 Synthese 195, No. 7, 2897-2906 (2018). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{A. Casullo}, Synthese 195, No. 7, 2897--2906 (2018; Zbl 1398.03014) Full Text: DOI