Petersen, Uwe Dialetheias and numbers distinct from themselves. (English) Zbl 07720265 Notre Dame J. Formal Logic 64, No. 2, 239-246 (2023). MSC: 03B53 03B16 03E70 PDFBibTeX XMLCite \textit{U. Petersen}, Notre Dame J. Formal Logic 64, No. 2, 239--246 (2023; Zbl 07720265) Full Text: DOI
Klev, Ansten Spiritus asper versus lambda: on the nature of functional abstraction. (English) Zbl 07720263 Notre Dame J. Formal Logic 64, No. 2, 205-223 (2023). MSC: 03A05 00A30 03B40 03B38 PDFBibTeX XMLCite \textit{A. Klev}, Notre Dame J. Formal Logic 64, No. 2, 205--223 (2023; Zbl 07720263) Full Text: DOI
Sereni, Andrea; Fogliani, Maria Paola Sforza; Zanetti, Luca For better and for worse. Abstractionism, good company, and pluralism. (English) Zbl 1518.00012 Rev. Symb. Log. 16, No. 1, 268-297 (2023). Reviewer: Matteo Bianchetti (Notre Dame) MSC: 00A30 03A05 PDFBibTeX XMLCite \textit{A. Sereni} et al., Rev. Symb. Log. 16, No. 1, 268--297 (2023; Zbl 1518.00012) Full Text: DOI
Bumford, Dylan Composition under distributive natural transformations: or, when predicate abstraction is impossible. (English) Zbl 1515.03136 J. Logic Lang. Inf. 31, No. 3, 287-307 (2022). MSC: 03B65 03B40 PDFBibTeX XMLCite \textit{D. Bumford}, J. Logic Lang. Inf. 31, No. 3, 287--307 (2022; Zbl 1515.03136) Full Text: DOI
Petersen, Uwe Enhancing induction in a contraction free logic with unrestricted abstraction: from \(\mathbf{Z}\) to \(\mathbf{Z}_2\). (English) Zbl 07603656 Arch. Math. Logic 61, No. 7-8, 1007-1051 (2022). MSC: 03B15 03B47 03F52 PDFBibTeX XMLCite \textit{U. Petersen}, Arch. Math. Logic 61, No. 7--8, 1007--1051 (2022; Zbl 07603656) Full Text: DOI
Adlešić, Tin; Čačić, Vedran A modern rigorous approach to stratification in NF/NFU. (English) Zbl 07603236 Log. Univers. 16, No. 3, 451-468 (2022). MSC: 03E20 03-02 03-08 PDFBibTeX XMLCite \textit{T. Adlešić} and \textit{V. Čačić}, Log. Univers. 16, No. 3, 451--468 (2022; Zbl 07603236) Full Text: DOI
Stillwell, John The story of proof. Logic and the history of mathematics. (English) Zbl 1505.01004 Princeton, NJ: Princeton University Press (ISBN 978-0-691-23436-6/hbk; 978-0-691-23437-3/ebook). xiv, 441 p. (2022). Reviewer: Roman Murawski (Poznań) MSC: 01-01 03-01 03-03 01A05 PDFBibTeX XMLCite \textit{J. Stillwell}, The story of proof. Logic and the history of mathematics. Princeton, NJ: Princeton University Press (2022; Zbl 1505.01004) Full Text: DOI
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide Eager functions as processes. (English) Zbl 1483.68226 Theor. Comput. Sci. 913, 8-42 (2022). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{A. Durier} et al., Theor. Comput. Sci. 913, 8--42 (2022; Zbl 1483.68226) Full Text: DOI HAL
Wang, Yanjing; Wei, Yu; Seligman, Jeremy Quantifier-free epistemic term-modal logic with assignment operator. (English) Zbl 07458667 Ann. Pure Appl. Logic 173, No. 3, Article ID 103071, 41 p. (2022). MSC: 03B10 03B42 03B45 03B70 PDFBibTeX XMLCite \textit{Y. Wang} et al., Ann. Pure Appl. Logic 173, No. 3, Article ID 103071, 41 p. (2022; Zbl 07458667) Full Text: DOI
Salmón, Nathan A paradox about sets of properties. (English) Zbl 1528.03061 Synthese 199, No. 5-6, 12777-12793 (2021). MSC: 03A05 03B38 PDFBibTeX XMLCite \textit{N. Salmón}, Synthese 199, No. 5--6, 12777--12793 (2021; Zbl 1528.03061) Full Text: DOI
Zanetti, Luca Grounding and auto-abstraction. (English) Zbl 1525.03045 Synthese 198, No. 11, 10187-10205 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{L. Zanetti}, Synthese 198, No. 11, 10187--10205 (2021; Zbl 1525.03045) Full Text: DOI
Matache, Cristina; Moss, Sean; Staton, Sam Recursion and sequentiality in categories of sheaves. (English) Zbl 07700630 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{C. Matache} et al., LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021; Zbl 07700630) Full Text: DOI arXiv
Dal Lago, Ugo; Gavazzo, Francesco Resource transition systems and full abstraction for linear higher-order effectful programs. (English) Zbl 07700628 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 23, 19 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{F. Gavazzo}, LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 23, 19 p. (2021; Zbl 07700628) Full Text: DOI arXiv
Hale, Bob Essence and definition by abstraction. (English) Zbl 1507.03019 Synthese 198, Suppl. 8, S2001-S2017 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{B. Hale}, Synthese 198, S2001--S2017 (2021; Zbl 1507.03019) Full Text: DOI
Sterling, Jonathan; Harper, Robert Logical relations as types: proof-relevant parametricity for program modules. (English) Zbl 1499.68069 J. ACM 68, No. 6, Paper No. 41, 47 p. (2021). MSC: 68N30 03B70 18B25 68Q55 68Q65 PDFBibTeX XMLCite \textit{J. Sterling} and \textit{R. Harper}, J. ACM 68, No. 6, Paper No. 41, 47 p. (2021; Zbl 1499.68069) Full Text: DOI arXiv
Smessaert, Hans; Shimojima, Atsushi; Demey, Lorenz On the cognitive potential of derivative meaning in Aristotelian diagrams. (English) Zbl 1514.03031 Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 495-511 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{H. Smessaert} et al., Lect. Notes Comput. Sci. 12909, 495--511 (2021; Zbl 1514.03031) Full Text: DOI
Prinz, Andreas What is the natural abstraction level of an algorithm? (English) Zbl 07495061 Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 199-214 (2021). MSC: 68-XX 03-XX PDFBibTeX XMLCite \textit{A. Prinz}, Lect. Notes Comput. Sci. 12750, 199--214 (2021; Zbl 07495061) Full Text: DOI
Ebels-Duggan, Sean C. Deductive cardinality results and nuisance-like principles. (English) Zbl 1508.03037 Rev. Symb. Log. 14, No. 3, 592-623 (2021). MSC: 03B16 03A05 PDFBibTeX XMLCite \textit{S. C. Ebels-Duggan}, Rev. Symb. Log. 14, No. 3, 592--623 (2021; Zbl 1508.03037) Full Text: DOI
Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca Universal invariant checking of parametric systems with quantifier-free SMT reasoning. (English) Zbl 07437076 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 131-147 (2021). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 12699, 131--147 (2021; Zbl 07437076) Full Text: DOI
Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. (English) Zbl 1478.93187 Automatica 130, Article ID 109723, 10 p. (2021). MSC: 93B50 03B44 PDFBibTeX XMLCite \textit{S. Mohajerani} et al., Automatica 130, Article ID 109723, 10 p. (2021; Zbl 1478.93187) Full Text: DOI
Krasanakis, Emmanouil; Symeonidis, Andreas Defining behaviorizeable relations to enable inference in semi-automatic program synthesis. (English) Zbl 1528.68081 J. Log. Algebr. Methods Program. 123, Article ID 100714, 29 p. (2021). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{E. Krasanakis} and \textit{A. Symeonidis}, J. Log. Algebr. Methods Program. 123, Article ID 100714, 29 p. (2021; Zbl 1528.68081) Full Text: DOI
Ellerman, David On abstraction in mathematics and indefiniteness in quantum mechanics. (English) Zbl 07413738 J. Philos. Log. 50, No. 4, 813-835 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{D. Ellerman}, J. Philos. Log. 50, No. 4, 813--835 (2021; Zbl 07413738) Full Text: DOI Link
Zhang, Jianmin; Li, Tiejun; Ma, Kefan Accelerating predicate abstraction by minimum unsatisfiable cores extraction. (English) Zbl 1481.68032 He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 3-13 (2021). MSC: 68Q60 03B70 68M07 PDFBibTeX XMLCite \textit{J. Zhang} et al., Commun. Comput. Inf. Sci. 1352, 3--13 (2021; Zbl 1481.68032) Full Text: DOI
Leach-Krouse, Graham Coalgebra and abstraction. (English) Zbl 1470.18002 Notre Dame J. Formal Logic 62, No. 1, 33-66 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A15 03E30 00A30 03A05 03E70 16T15 18A30 PDFBibTeX XMLCite \textit{G. Leach-Krouse}, Notre Dame J. Formal Logic 62, No. 1, 33--66 (2021; Zbl 1470.18002) Full Text: DOI
van Glabbeek, Rob Failure trace semantics for a process algebra with time-outs. (English) Zbl 07350777 Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. van Glabbeek}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021; Zbl 07350777) Full Text: arXiv Link
Gerla, Giangiacomo Point-free continuum. (English) Zbl 1461.03010 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 427-475 (2021). MSC: 03B30 51A35 52A01 00A30 03-03 51-03 01A60 PDFBibTeX XMLCite \textit{G. Gerla}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 427--475 (2021; Zbl 1461.03010) Full Text: DOI
Varzi, Achille C. Points as higher-order constructs. Whitehead’s method of extensive abstraction. (English) Zbl 1459.01019 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 347-378 (2021). MSC: 01A60 03-03 26-03 00A30 PDFBibTeX XMLCite \textit{A. C. Varzi}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 347--378 (2021; Zbl 1459.01019) Full Text: DOI
Pauw, Sylvia Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning. (English) Zbl 1506.00023 Synthese 197, No. 11, 4927-4945 (2020). MSC: 00A30 03A05 01A45 01A50 PDFBibTeX XMLCite \textit{S. Pauw}, Synthese 197, No. 11, 4927--4945 (2020; Zbl 1506.00023) Full Text: DOI
Dobrzański, Michał; Lemanski, Jens Schopenhauer diagrams for conceptual analysis. (English) Zbl 07627782 Pietarinen, Ahti-Veikko (ed.) et al., Diagrammatic representation and inference. 11th international conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12169, 281-288 (2020). MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{M. Dobrzański} and \textit{J. Lemanski}, Lect. Notes Comput. Sci. 12169, 281--288 (2020; Zbl 07627782) Full Text: DOI
Schiemer, Georg Carnap’s structuralist thesis. (English) Zbl 1498.03008 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press. Log. Comput. Philos., 383-420 (2020). MSC: 03-03 03A05 01A60 00A30 PDFBibTeX XMLCite \textit{G. Schiemer}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 383--420 (2020; Zbl 1498.03008) Full Text: DOI
Curzi, Gianluca; Pagani, Michele The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041 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). 327-340 (2020). MSC: 03B40 03B48 68Q85 PDFBibTeX XMLCite \textit{G. Curzi} and \textit{M. Pagani}, 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). 327--340 (2020; Zbl 1498.03041) Full Text: DOI
Rosen, Gideon; Yablo, Stephen Solving the Caesar problem – with metaphysics. (English) Zbl 1528.03059 Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 116-131 (2020). MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{G. Rosen} and \textit{S. Yablo}, in: Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 116--131 (2020; Zbl 1528.03059) Full Text: DOI
Dimovski, Aleksandar S.; Legay, Axel; Wasowski, Andrzej Generalized abstraction-refinement for game-based CTL lifted model checking. (English) Zbl 1460.68058 Theor. Comput. Sci. 837, 181-206 (2020). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. S. Dimovski} et al., Theor. Comput. Sci. 837, 181--206 (2020; Zbl 1460.68058) Full Text: DOI
Yavuz, Tuba Partial predicate abstraction and counter-example guided refinement. (English) Zbl 1494.68177 J. Log. Algebr. Methods Program. 110, Article ID 100437, 17 p. (2020). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{T. Yavuz}, J. Log. Algebr. Methods Program. 110, Article ID 100437, 17 p. (2020; Zbl 1494.68177) Full Text: DOI arXiv
Liu, Chuang Infinite idealization and contextual realism. (English) Zbl 1474.80007 Synthese 196, No. 5, 1885-1918 (2019). MSC: 80A22 82B05 03A10 PDFBibTeX XMLCite \textit{C. Liu}, Synthese 196, No. 5, 1885--1918 (2019; Zbl 1474.80007) Full Text: DOI
Pollard, Stephen Logic in the land of make-believe. (English) Zbl 1458.03010 Log. Log. Philos. 28, No. 4, 661-681 (2019). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Pollard}, Log. Log. Philos. 28, No. 4, 661--681 (2019; Zbl 1458.03010) Full Text: DOI
Cook, Roy T. Frege’s little theorem and Frege’s way out. (English) Zbl 1465.03006 Ebert, Philip A. (ed.) et al., Essays on Frege’s Basic laws of arithmetic. Oxford: Oxford University Press. 384-410 (2019). MSC: 03-03 03A05 03F30 01A60 PDFBibTeX XMLCite \textit{R. T. Cook}, in: Essays on Frege's \textit {Basic laws of arithmetic}. Oxford: Oxford University Press. 384--410 (2019; Zbl 1465.03006) Full Text: DOI
Reck, Erich H. Frege’s relation to Dedekind: basic laws and beyond. (English) Zbl 1465.03020 Ebert, Philip A. (ed.) et al., Essays on Frege’s Basic laws of arithmetic. Oxford: Oxford University Press. 264-284 (2019). MSC: 03-03 03A05 01A55 01A60 PDFBibTeX XMLCite \textit{E. H. Reck}, in: Essays on Frege's \textit {Basic laws of arithmetic}. Oxford: Oxford University Press. 264--284 (2019; Zbl 1465.03020) Full Text: DOI
Gutiérrez, Raúl; Lucas, Salvador Automatic generation of logical models with AGES. (English) Zbl 07178982 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 287-299 (2019). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 11716, 287--299 (2019; Zbl 07178982) 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 03B16 PDFBibTeX XMLCite \textit{S. C. Ebels-Duggan}, Notre Dame J. Formal Logic 60, No. 1, 77--117 (2019; Zbl 07060309) Full Text: DOI arXiv Euclid
Clairambault, Pierre; Paquet, Hugo Fully abstract models of the probabilistic \(\lambda\)-calculus. (English) Zbl 1528.03117 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 16, 17 p. (2018). MSC: 03B40 68Q85 68Q55 91A80 PDFBibTeX XMLCite \textit{P. Clairambault} and \textit{H. Paquet}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 16, 17 p. (2018; Zbl 1528.03117) Full Text: DOI
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide Eager functions as processes. (English) Zbl 1452.03044 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). 364-373 (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{A. Durier} 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). 364--373 (2018; Zbl 1452.03044) Full Text: DOI arXiv HAL
Detlefsen, Michael Abstraction, axiomatization and rigor: Pasch and Hilbert. (English) Zbl 1429.00007 Hellman, Geoffrey (ed.) et al., Hilary Putnam on logic and mathematics. Cham: Springer. Outst. Contrib. Log. 9, 161-178 (2018). MSC: 00A30 03A05 PDFBibTeX XMLCite \textit{M. Detlefsen}, Outst. Contrib. Log. 9, 161--178 (2018; Zbl 1429.00007) Full Text: DOI
Hinnion, Roland Pure term models for modal, intensional set theory. (English) Zbl 1436.03268 Log. Anal., Nouv. Sér. 61, No. 244, 513-520 (2018). MSC: 03E70 03B45 03C30 PDFBibTeX XMLCite \textit{R. Hinnion}, Log. Anal., Nouv. Sér. 61, No. 244, 513--520 (2018; Zbl 1436.03268) Full Text: DOI
Teijeiro, T.; Félix, P. On the adoption of abductive reasoning for time series interpretation. (English) Zbl 1451.68266 Artif. Intell. 262, 163-188 (2018). MSC: 68T27 03B44 PDFBibTeX XMLCite \textit{T. Teijeiro} and \textit{P. Félix}, Artif. Intell. 262, 163--188 (2018; Zbl 1451.68266) Full Text: DOI arXiv
Hanson, William H. Actualism, serious actualism, and quantified modal logic. (English) Zbl 1403.03031 Notre Dame J. Formal Logic 59, No. 2, 233-284 (2018). Reviewer: David Makinson (London) MSC: 03B45 03B60 PDFBibTeX XMLCite \textit{W. H. Hanson}, Notre Dame J. Formal Logic 59, No. 2, 233--284 (2018; Zbl 1403.03031) Full Text: DOI
Linnebo, Øystein Thin objects. An abstractionist account. (English) Zbl 1391.00030 Oxford: Oxford University Press (ISBN 978-0-19-964131-4/hbk). xvii, 237 p. (2018). MSC: 00A30 03A10 PDFBibTeX XMLCite \textit{Ø. Linnebo}, Thin objects. An abstractionist account. Oxford: Oxford University Press (2018; Zbl 1391.00030) Full Text: DOI
Chatzieleftheriou, G.; Katsaros, P. Abstract model repair for probabilistic systems. (English) Zbl 1388.68185 Inf. Comput. 259, Part 1, 142-160 (2018). MSC: 68Q60 03B44 60J20 68Q87 PDFBibTeX XMLCite \textit{G. Chatzieleftheriou} and \textit{P. Katsaros}, Inf. Comput. 259, Part 1, 142--160 (2018; Zbl 1388.68185) Full Text: DOI
Cook, Roy T.; Linnebo, Øystein Cardinality and acceptable abstraction. (English) Zbl 1436.03029 Notre Dame J. Formal Logic 59, No. 1, 61-74 (2018). MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{R. T. Cook} and \textit{Ø. Linnebo}, Notre Dame J. Formal Logic 59, No. 1, 61--74 (2018; Zbl 1436.03029) Full Text: DOI Euclid Link
Fitting, Melvin On height and happiness. (English) Zbl 1437.03086 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 235-258 (2017). MSC: 03B45 PDFBibTeX XMLCite \textit{M. Fitting}, Outst. Contrib. Log. 11, 235--258 (2017; Zbl 1437.03086) Full Text: DOI
Pleitz, Martin Two accounts of pairs. (English) Zbl 1418.03025 Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 201-221 (2017). MSC: 03A05 PDFBibTeX XMLCite \textit{M. Pleitz}, in: The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2016. London: College Publications. 201--221 (2017; Zbl 1418.03025)
Nilsson, Petter; Ozay, Necmiye; Liu, Jun Augmented finite transition systems as abstractions for control synthesis. (English) Zbl 1379.93050 Discrete Event Dyn. Syst. 27, No. 2, 301-340 (2017). MSC: 93B50 93C30 03B44 PDFBibTeX XMLCite \textit{P. Nilsson} et al., Discrete Event Dyn. Syst. 27, No. 2, 301--340 (2017; Zbl 1379.93050) Full Text: DOI
Schmuck, Anne-Kathrin; Majumdar, Rupak; Leva, Adrian Dynamic hierarchical reactive controller synthesis. (English) Zbl 1379.93048 Discrete Event Dyn. Syst. 27, No. 2, 261-299 (2017). MSC: 93B40 93A15 93A13 93B50 91A65 93C85 94C15 03B44 PDFBibTeX XMLCite \textit{A.-K. Schmuck} et al., Discrete Event Dyn. Syst. 27, No. 2, 261--299 (2017; Zbl 1379.93048) Full Text: DOI arXiv
Florio, Salvatore; Leach-Krouse, Graham What Russell should have said to Burali-Forti. (English) Zbl 1417.03064 Rev. Symb. Log. 10, No. 4, 682-718 (2017). MSC: 03A05 00A30 03E10 PDFBibTeX XMLCite \textit{S. Florio} and \textit{G. Leach-Krouse}, Rev. Symb. Log. 10, No. 4, 682--718 (2017; Zbl 1417.03064) Full Text: DOI
Crary, Karl Modules, abstraction, and parametric polymorphism. (English) Zbl 1380.68119 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 100-113 (2017). MSC: 68N30 03B70 68T15 PDFBibTeX XMLCite \textit{K. Crary}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 100--113 (2017; Zbl 1380.68119) Full Text: DOI
Li, Huisong; Berenger, Francois; Chang, Bor-Yuh Evan; Rival, Xavier Semantic-directed clumping of disjunctive abstract states. (English) Zbl 1380.68129 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{H. Li} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 32--45 (2017; Zbl 1380.68129) Full Text: DOI HAL
He, Yuguo Pebble games over ordered structural abstractions. (English) Zbl 1459.03037 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 319-332 (2017). MSC: 03C13 68Q19 PDFBibTeX XMLCite \textit{Y. He}, Lect. Notes Comput. Sci. 10185, 319--332 (2017; Zbl 1459.03037) Full Text: DOI
Seldin, Jonathan P. The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II. (English) Zbl 1418.03040 Theor. Comput. Sci. 663, 34-58 (2017). MSC: 03B40 PDFBibTeX XMLCite \textit{J. P. Seldin}, Theor. Comput. Sci. 663, 34--58 (2017; Zbl 1418.03040) Full Text: DOI
May, Robert C.; Panza, Marco Discussion note on: “Semantic nominalism: how I learned to stop worrying and love universals”. (English) Zbl 1436.03056 Boccuni, Francesca (ed.) et al., Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 318, 33-41 (2016). MSC: 03A05 PDFBibTeX XMLCite \textit{R. C. May} and \textit{M. Panza}, Boston Stud. Philos. Hist. Sci. 318, 33--41 (2016; Zbl 1436.03056) Full Text: DOI
Antonelli, G. Aldo Semantic nominalism: how i learned to stop worrying and love universals. (English) Zbl 1436.03015 Boccuni, Francesca (ed.) et al., Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 318, 13-32 (2016). MSC: 03A05 PDFBibTeX XMLCite \textit{G. A. Antonelli}, Boston Stud. Philos. Hist. Sci. 318, 13--32 (2016; Zbl 1436.03015) Full Text: DOI
Urbaniak, Rafal Potential infinity, abstraction principles and arithmetic (Leśniewski style). (English) Zbl 1415.03009 Axioms 5, No. 2, Paper No. 18, 20 p. (2016). MSC: 03A05 03B15 03F30 PDFBibTeX XMLCite \textit{R. Urbaniak}, Axioms 5, No. 2, Paper No. 18, 20 p. (2016; Zbl 1415.03009) Full Text: DOI
Walsh, Sean The strength of abstraction with predicative comprehension. (English) Zbl 1403.03121 Bull. Symb. Log. 22, No. 1, 105-120 (2016). MSC: 03F35 03F25 03-03 01A55 PDFBibTeX XMLCite \textit{S. Walsh}, Bull. Symb. Log. 22, No. 1, 105--120 (2016; Zbl 1403.03121) Full Text: DOI arXiv
Martin, John N. The structure of ideas in The Port Royal Logic. (English) Zbl 1384.03011 J. Appl. Log. 19, Part 1, 1-19 (2016). MSC: 03-03 06-03 01A45 PDFBibTeX XMLCite \textit{J. N. Martin}, J. Appl. Log. 19, Part 1, 1--19 (2016; Zbl 1384.03011) Full Text: DOI
Lucas, Salvador Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 26-46 (2016). MSC: 68N30 03B70 68Q42 PDFBibTeX XMLCite \textit{S. Lucas}, Lect. Notes Comput. Sci. 9942, 26--46 (2016; Zbl 1367.68068) Full Text: DOI Link
Breuvart, Flavien On the characterization of models of \(\mathcal H^\ast\): the semantical aspect. (English) Zbl 1338.03013 Log. Methods Comput. Sci. 12, No. 2, Paper No. 4, 34 p. (2016). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{F. Breuvart}, Log. Methods Comput. Sci. 12, No. 2, Paper No. 4, 34 p. (2016; Zbl 1338.03013) Full Text: DOI arXiv
Horsten, Leon; Linnebo, Øystein Term models for abstraction principles. (English) Zbl 1336.03011 J. Philos. Log. 45, No. 1, 1-23 (2016). MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{L. Horsten} and \textit{Ø. Linnebo}, J. Philos. Log. 45, No. 1, 1--23 (2016; Zbl 1336.03011) Full Text: DOI Link
Materna, Pavel Two approaches to philosophically analysing language. (English) Zbl 1372.03011 Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 203-213 (2015). MSC: 03A05 03B65 PDFBibTeX XMLCite \textit{P. Materna}, in: The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2014. London: College Publications. 203--213 (2015; Zbl 1372.03011)
Materna, Pavel Two approaches to philosophically analyzing language. (English) Zbl 1338.03005 Log. Issled. 21, No. 1, 144-154 (2015). MSC: 03A05 03B65 PDFBibTeX XMLCite \textit{P. Materna}, Log. Issled. 21, No. 1, 144--154 (2015; Zbl 1338.03005)
Martí-Oliet, Narciso; Durán, Francisco; Verdejo, Alberto Equational abstractions in rewriting logic and Maude. (English) Zbl 1335.68143 Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 17-31 (2015). MSC: 68Q60 03B70 68N15 68Q42 68Q85 PDFBibTeX XMLCite \textit{N. Martí-Oliet} et al., Lect. Notes Comput. Sci. 8941, 17--31 (2015; Zbl 1335.68143) Full Text: DOI
Matheja, Christoph; Jansen, Christina; Noll, Thomas Tree-like grammars and separation logic. (English) Zbl 1329.68154 Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 90-108 (2015). MSC: 68Q42 03B70 68P05 PDFBibTeX XMLCite \textit{C. Matheja} et al., Lect. Notes Comput. Sci. 9458, 90--108 (2015; Zbl 1329.68154) Full Text: DOI
Logan, Shay Allen Abstractionist categories of categories. (English) Zbl 1352.03009 Rev. Symb. Log. 8, No. 4, 705-721 (2015). MSC: 03A05 18B99 PDFBibTeX XMLCite \textit{S. A. Logan}, Rev. Symb. Log. 8, No. 4, 705--721 (2015; Zbl 1352.03009) Full Text: DOI
Rümmer, Philipp; Hojjat, Hossein; Kuncak, Viktor On recursion-free Horn clauses and Craig interpolation. (English) Zbl 1322.68134 Form. Methods Syst. Des. 47, No. 1, 1-25 (2015). MSC: 68Q60 03C40 PDFBibTeX XMLCite \textit{P. Rümmer} et al., Form. Methods Syst. Des. 47, No. 1, 1--25 (2015; Zbl 1322.68134) Full Text: DOI
Walsh, Sean; Ebels-Duggan, Sean Relative categoricity and abstraction principles. (English) Zbl 1337.03012 Rev. Symb. Log. 8, No. 3, 572-606 (2015). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Walsh} and \textit{S. Ebels-Duggan}, Rev. Symb. Log. 8, No. 3, 572--606 (2015; Zbl 1337.03012) Full Text: DOI arXiv
Sotudeh, Gholamreza; Movaghar, Ali Abstraction and approximation in fuzzy temporal logics and models. (English) Zbl 1331.68143 Formal Asp. Comput. 27, No. 2, 309-334 (2015). MSC: 68Q60 03B44 03B52 PDFBibTeX XMLCite \textit{G. Sotudeh} and \textit{A. Movaghar}, Formal Asp. Comput. 27, No. 2, 309--334 (2015; Zbl 1331.68143) Full Text: DOI
Payne, Jonathan Extensionalizing intensional second-order logic. (English) Zbl 1371.03015 Notre Dame J. Formal Logic 56, No. 1, 243-261 (2015). MSC: 03B15 03B45 03E70 PDFBibTeX XMLCite \textit{J. Payne}, Notre Dame J. Formal Logic 56, No. 1, 243--261 (2015; Zbl 1371.03015) Full Text: DOI Euclid
Ganjei, Zeinab; Rezine, Ahmed; Eles, Petru; Peng, Zebo Abstracting and counting synchronizing processes. (English) Zbl 1432.68305 D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 227-244 (2015). MSC: 68Q85 03B70 68N30 68Q60 PDFBibTeX XMLCite \textit{Z. Ganjei} et al., Lect. Notes Comput. Sci. 8931, 227--244 (2015; Zbl 1432.68305) Full Text: DOI Link
Coppola, Cristina; Gerla, Giangiacomo Multi-valued logic for a point-free foundation of geometry. (English) Zbl 1436.03152 Calosi, Claudio (ed.) et al., Mereology and the sciences. Parts and wholes in the contemporary scientific context. Cham: Springer. Synth. Libr. 371, 105-122 (2014). MSC: 03B50 03B30 03B80 54E35 PDFBibTeX XMLCite \textit{C. Coppola} and \textit{G. Gerla}, Synth. Libr. 371, 105--122 (2014; Zbl 1436.03152) Full Text: DOI
Fano, Vincenzo; Graziani, Pierluigi Continuity of motion in Whitehead’s geometrical space. (English) Zbl 1436.03096 Calosi, Claudio (ed.) et al., Mereology and the sciences. Parts and wholes in the contemporary scientific context. Cham: Springer. Synth. Libr. 371, 85-99 (2014). MSC: 03B30 03A10 51M05 PDFBibTeX XMLCite \textit{V. Fano} and \textit{P. Graziani}, Synth. Libr. 371, 85--99 (2014; Zbl 1436.03096) Full Text: DOI
Aiguier, Marc; Kanso, Bilal A logic for complex computing systems: properties preservation along integration and abstraction. (English) Zbl 1423.68271 Sci. Ann. Comput. Sci. 24, No. 1, 1-46 (2014). MSC: 68Q60 03B45 03B70 68N30 68Q85 PDFBibTeX XMLCite \textit{M. Aiguier} and \textit{B. Kanso}, Sci. Ann. Comput. Sci. 24, No. 1, 1--46 (2014; Zbl 1423.68271) Full Text: DOI
Breuvart, Flavien On the characterization of models of \(\mathcal{H}^*\). (English) Zbl 1394.03022 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 24, 10 p. (2014). MSC: 03B40 PDFBibTeX XMLCite \textit{F. Breuvart}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 24, 10 p. (2014; Zbl 1394.03022) Full Text: DOI
Liu, Jun; Ozay, Necmiye Abstraction, discretization, and robustness in temporal logic control of dynamical systems. (English) Zbl 1362.93058 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 293-302 (2014). MSC: 93B50 03B80 93A30 PDFBibTeX XMLCite \textit{J. Liu} and \textit{N. Ozay}, in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 293--302 (2014; Zbl 1362.93058) Full Text: DOI
Gardner, Philippa; Raad, Azalea; Wheelhouse, Mark; Wright, Adam Abstract local reasoning for concurrent libraries: mind the gap. (English) Zbl 1337.68069 Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 147-166, electronic only (2014). MSC: 68N30 03B70 68P05 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Gardner} et al., Electron. Notes Theor. Comput. Sci. 308, 147--166 (2014; Zbl 1337.68069) Full Text: DOI
Goldman, Randolph Rubens Gödel’s property abstraction and possibilism. (English) Zbl 1330.03017 Australas. J. Log. 11, No. 2, 114-145 (2014). MSC: 03A05 03B45 03B15 PDFBibTeX XMLCite \textit{R. R. Goldman}, Australas. J. Log. 11, No. 2, 114--145 (2014; Zbl 1330.03017) Full Text: Link
Ziche, Paul Generalization and the impossible: issues in the search for generalized mathematics around 1900. (English) Zbl 1329.03004 Link, Godehard (ed.), Formalism and beyond. On the nature of mathematical discourse. Berlin: De Gruyter (ISBN 978-1-61451-829-7/hbk; 978-1-61451-847-1/ebook). Logos 23, 209-227 (2014). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-03 01A55 01A60 00A30 PDFBibTeX XMLCite \textit{P. Ziche}, Logos 23, 209--227 (2014; Zbl 1329.03004) Full Text: DOI
Pexton, Mark How dimensional analysis can explain. (English) Zbl 1317.03015 Synthese 191, No. 10, 2333-2351 (2014). MSC: 03A10 85A04 PDFBibTeX XMLCite \textit{M. Pexton}, Synthese 191, No. 10, 2333--2351 (2014; Zbl 1317.03015) Full Text: DOI
Voĭshvillo, E. K. On the problem of justification of apodictic knowledge. (Russian. English summary) Zbl 1308.03032 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-197-3/hbk). 10-47 (2014). MSC: 03A05 03A10 PDFBibTeX XMLCite \textit{E. K. Voĭshvillo}, in: Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ. 10--47 (2014; Zbl 1308.03032)
Avni, Guy; Kupferman, Orna An abstraction-refinement framework for trigger querying. (English) Zbl 1291.68242 Form. Methods Syst. Des. 44, No. 2, 149-175 (2014). MSC: 68Q60 68Q45 03B44 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, Form. Methods Syst. Des. 44, No. 2, 149--175 (2014; Zbl 1291.68242) Full Text: DOI
Chong, Nathan; Donaldson, Alastair F.; Ketema, Jeroen A sound and complete abstraction for reasoning about parallel prefix sums. (English) Zbl 1284.68387 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 397-409 (2014). MSC: 68Q60 68N30 03B70 PDFBibTeX XMLCite \textit{N. Chong} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 397--409 (2014; Zbl 1284.68387) Full Text: DOI Link
Brookes, Stephen; O’Hearn, Peter W.; Reddy, Uday The essence of Reynolds. (English) Zbl 1284.68168 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 251-255 (2014). MSC: 68N30 68N15 01A70 03B70 PDFBibTeX XMLCite \textit{S. Brookes} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 251--255 (2014; Zbl 1284.68168) Full Text: DOI
Ramsay, Steven J.; Neatherway, Robin P.; Ong, C.-H. Luke A type-directed abstraction refinement approach to higher-order model checking. (English) Zbl 1284.68414 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 61-72 (2014). MSC: 68Q60 68W05 68Q42 68Q45 03B70 PDFBibTeX XMLCite \textit{S. J. Ramsay} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 61--72 (2014; Zbl 1284.68414) Full Text: DOI Link
Turon, Aaron J.; Thamsborg, Jacob; Ahmed, Amal; Birkedal, Lars; Dreyer, Derek Logical relations for fine-grained concurrency. (English) Zbl 1301.68181 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 343-356 (2013). MSC: 68Q60 03B70 68N15 68N30 68P05 68Q85 PDFBibTeX XMLCite \textit{A. J. Turon} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 343--356 (2013; Zbl 1301.68181) Full Text: DOI
Laird, J. Game semantics for a polymorphic programming language. (English) Zbl 1281.68058 J. ACM 60, No. 4, Article No. 29, 27 p. (2013). MSC: 68N15 68N18 68Q55 03F52 PDFBibTeX XMLCite \textit{J. Laird}, J. ACM 60, No. 4, Article No. 29, 27 p. (2013; Zbl 1281.68058)
Smirnova, Elena D. An approach to the interpretation on intensional contexts. (English) Zbl 1273.03030 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-143-6/hbk). 238-245 (2013). MSC: 03A05 PDFBibTeX XMLCite \textit{E. D. Smirnova}, in: Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ. 238--245 (2013; Zbl 1273.03030)
Abdulla, Parosh Aziz; Cederberg, Jonathan; Vojnar, Tomáš Monotonic abstraction for programs with multiply-linked structures. (English) Zbl 1286.68304 Int. J. Found. Comput. Sci. 24, No. 2, 187-210 (2013). MSC: 68Q60 68N30 68R10 03B70 68Q65 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Int. J. Found. Comput. Sci. 24, No. 2, 187--210 (2013; Zbl 1286.68304) Full Text: DOI
Breuvart, Flavien The resource lambda calculus is short-sighted in its relational model. (English) Zbl 1381.03021 Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 93-108 (2013). MSC: 03B40 03F52 18C20 PDFBibTeX XMLCite \textit{F. Breuvart}, Lect. Notes Comput. Sci. 7941, 93--108 (2013; Zbl 1381.03021) Full Text: DOI
Laird, Jim; Manzonetto, Giulio; McCusker, Guy Constructing differential categories and deconstructing categories of games. (English) Zbl 1269.03062 Inf. Comput. 222, 247-264 (2013). MSC: 03G30 03B70 18D15 91A80 PDFBibTeX XMLCite \textit{J. Laird} et al., Inf. Comput. 222, 247--264 (2013; Zbl 1269.03062) Full Text: DOI
Marquis, Jean-Pierre Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics. (English) Zbl 1329.18001 Rev. Symb. Log. 6, No. 1, 51-86 (2013). Reviewer: Serguei V. Solov’ev (Toulouse) MSC: 18A15 03A05 00A30 03G30 PDFBibTeX XMLCite \textit{J.-P. Marquis}, Rev. Symb. Log. 6, No. 1, 51--86 (2013; Zbl 1329.18001) Full Text: DOI
Gabbay, Murdoch; Ghica, Dan Game semantics in the nominal model. (English) Zbl 1342.68195 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 173-189 (2012). MSC: 68Q55 03B70 91A80 PDFBibTeX XMLCite \textit{M. Gabbay} and \textit{D. Ghica}, Electron. Notes Theor. Comput. Sci. 286, 173--189 (2012; Zbl 1342.68195) Full Text: DOI
Floridi, Luciano Turing’s three philosophical lessons and the philosophy of information. (English) Zbl 1322.00024 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 370, No. 1971, 3536-3542 (2012). MSC: 00A30 03A05 94A15 94A17 PDFBibTeX XMLCite \textit{L. Floridi}, Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 370, No. 1971, 3536--3542 (2012; Zbl 1322.00024) Full Text: DOI
Peucker, Henning Husserl’s foundation of the formal sciences in his “Logical investigations”. (English) Zbl 1302.03005 Axiomathes 22, No. 1, 135-146 (2012). MSC: 03-03 01A60 03A05 03A10 PDFBibTeX XMLCite \textit{H. Peucker}, Axiomathes 22, No. 1, 135--146 (2012; Zbl 1302.03005) Full Text: DOI