×

zbMATH — the first resource for mathematics

Found 302 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
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
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
Truthmaker semantics: Fine versus Martin-Löf. (English) Zbl 1418.03035
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. 87-108 (2017).
MSC:  03B20 03B15 03A05
PDF BibTeX XML Cite
\textit{A. Klev}, in: The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2016. London: College Publications. 87--108 (2017; Zbl 1418.03035)
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert; Pauly, Arno
The Vitali covering theorem in the Weihrauch lattice. (English) Zbl 06700060
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 188-200 (2017).
MSC:  03F35 03B30 03F60 28E15
PDF BibTeX XML Cite
\textit{V. Brattka} et al., Lect. Notes Comput. Sci. 10010, 188--200 (2017; Zbl 06700060)
Full Text: DOI
Zeume, Thomas; Harwath, Frederik
Order-invariance of two-variable logic is decidable. (English) Zbl 1394.03017
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 807-816 (2016).
MSC:  03B25 03B15 03B20 68Q25
PDF BibTeX XML Cite
\textit{T. Zeume} and \textit{F. Harwath}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 807--816 (2016; Zbl 1394.03017)
Full Text: DOI
Kołodziejczyk, Leszek Aleksander; Michalewski, Henryk
How unprovable is Rabin’s decidability theorem? (English) Zbl 1394.03016
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 788-797 (2016).
MSC:  03B25 03B30 03D05 03E60 03F35
PDF BibTeX XML Cite
\textit{L. A. Kołodziejczyk} and \textit{H. Michalewski}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 788--797 (2016; Zbl 1394.03016)
Full Text: DOI arXiv
Blot, Valentin
Hybrid realizability for intuitionistic and classical choice. (English) Zbl 1394.03021
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 575-584 (2016).
MSC:  03B40 03B20 03B15 03E25 03F30
PDF BibTeX XML Cite
\textit{V. Blot}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 575--584 (2016; Zbl 1394.03021)
Full Text: DOI
Elberfeld, Michael; Frickenschmidt, Marlin; Grohe, Martin
Order invariance on decomposable structures. (English) Zbl 1394.03056
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 397-406 (2016).
MSC:  03C13 03B10 03B15 05C05 05C10
PDF BibTeX XML Cite
\textit{M. Elberfeld} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 397--406 (2016; Zbl 1394.03056)
Full Text: DOI
Das, Anupam
From positive and intuitionistic bounded arithmetic to monotone proof complexity. (English) Zbl 1395.03030
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 126-135 (2016).
MSC:  03F20 03B20 03F35
PDF BibTeX XML Cite
\textit{A. Das}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 126--135 (2016; Zbl 1395.03030)
Full Text: DOI
Vasyukov, Vladimir L.
Univalent foundations of mathematics and paraconsistency. (English) Zbl 1423.03043
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 285-294 (2015).
MSC:  03B15 03B53 03A05 03B62
PDF BibTeX XML Cite
\textit{V. L. Vasyukov}, Springer Proc. Math. Stat. 152, 285--294 (2015; Zbl 1423.03043)
Full Text: DOI
Berardi, Stefano
Classical and intuitionistic arithmetic with higher order comprehension coincide on inductive well-foundedness. (English) Zbl 1373.03126
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 343-358 (2015).
MSC:  03F35 03B20
PDF BibTeX XML Cite
\textit{S. Berardi}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 343--358 (2015; Zbl 1373.03126)
Full Text: DOI
Bova, Simone; Martin, Barnaby
First-order queries on finite abelian groups. (English) Zbl 1373.68254
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 41-59 (2015).
MSC:  68Q25 03B10 03B15 03C13
PDF BibTeX XML Cite
\textit{S. Bova} and \textit{B. Martin}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 41--59 (2015; Zbl 1373.68254)
Full Text: DOI
Manzano, María
Henkin on completeness. (English) Zbl 1347.03003
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 149-175 (2014).
MSC:  03-03 01A60 03B10 03B15
PDF BibTeX XML Cite
\textit{M. Manzano}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 149--175 (2014; Zbl 1347.03003)
Full Text: DOI
Eickmeyer, Kord; Elberfeld, Michael; Harwath, Frederik
Expressivity and succinctness of order-invariant logics on depth-bounded structures. (English) Zbl 1407.03001
Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part I. Berlin: Springer. Lect. Notes Comput. Sci. 8634, 256-266 (2014).
MSC:  03B10 03B15 03B25
PDF BibTeX XML Cite
\textit{K. Eickmeyer} et al., Lect. Notes Comput. Sci. 8634, 256--266 (2014; Zbl 1407.03001)
Full Text: DOI
Hirschfeldt, Denis R.
Slicing the truth. On the computable and reverse mathematics of combinatorial principles. (English) Zbl 1304.03001
Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 28. Hackensack, NJ: World Scientific (ISBN 978-981-4612-61-6/hbk; 978-981-4612-63-0/ebook). xv, 214 p. (2014).
Reviewer: Jeffry L. Hirst (Boone)
MSC:  03-02 03B30 03F35 03D30 03D80 03E05 05D10
PDF BibTeX XML Cite
\textit{D. R. Hirschfeldt}, Slicing the truth. On the computable and reverse mathematics of combinatorial principles. Hackensack, NJ: World Scientific (2014; Zbl 1304.03001)
Full Text: DOI
Liang, Chuck; Miller, Dale
Unifying classical and intuitionistic logics for computational control. (English) Zbl 1367.03058
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 283-292 (2013).
MSC:  03B70 03B05 03B15 03B20 68N15
PDF BibTeX XML Cite
\textit{C. Liang} and \textit{D. Miller}, in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 283--292 (2013; Zbl 1367.03058)
Full Text: DOI
Kachapova, F.
A generalization of Beth model to functionals of high types. (English) Zbl 1364.03085
Downey, Rod (ed.) et al., Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). 185-209 (2013).
MSC:  03F55 03B15 03B20
PDF BibTeX XML Cite
\textit{F. Kachapova}, in: Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15--20, 2011. Hackensack, NJ: World Scientific. 185--209 (2013; Zbl 1364.03085)
Full Text: DOI
Rieg, Lionel
Extracting Herbrand trees in classical realizability using forcing. (English) Zbl 1356.03076
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 597-614 (2013).
MSC:  03B70 03B40 03E35 03F35 68N30
PDF BibTeX XML Cite
\textit{L. Rieg}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 597--614 (2013; Zbl 1356.03076)
Full Text: DOI
Barendregt, Henk
Foundations of mathematics from the perspective of computer verification. (English) Zbl 1322.03006
Paule, Peter (ed.), Mathematics, computer science and logic – a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger’s 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer (ISBN 978-3-319-00965-0/hbk; 978-3-319-00966-7/ebook). 1-49 (2013).
MSC:  03A05 03B15 03B30 03B35 68Q42 68T15
PDF BibTeX XML Cite
\textit{H. Barendregt}, in: Mathematics, computer science and logic -- a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger's 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer. 1--49 (2013; Zbl 1322.03006)
Full Text: DOI
Engelmann, Viktor; Kreutzer, Stephan; Siebertz, Sebastian
First-order and monadic second-order model-checking on ordered structures. (English) Zbl 1362.68167
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 275-284 (2012).
MSC:  68Q60 03B10 03B15 03C07 03C13 68Q19 68Q25
PDF BibTeX XML Cite
\textit{V. Engelmann} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 275--284 (2012; Zbl 1362.68167)
Full Text: DOI
Elberfeld, Michael; Grohe, Martin; Tantau, Till
Where first-order and monadic second-order logic coincide. (English) Zbl 1364.03015
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 265-274 (2012).
MSC:  03B15 03B10 05C75
PDF BibTeX XML Cite
\textit{M. Elberfeld} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 265--274 (2012; Zbl 1364.03015)
Full Text: DOI
Väänänen, Jouko
Second order logic, set theory and foundations of mathematics. (English) Zbl 1314.03014
Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 371-380 (2012).
MSC:  03B15 03B30 03E30
PDF BibTeX XML Cite
\textit{J. Väänänen}, Log. Epistemol. Unity Sci. 27, 371--380 (2012; Zbl 1314.03014)
Full Text: DOI
Kufleitner, Manfred; Lauser, Alexander
Lattices of logical fragments over words (extended abstract). (English) Zbl 1433.03101
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 7392, 275-286 (2012).
MSC:  03D05 03B16 03B20
PDF BibTeX XML Cite
\textit{M. Kufleitner} and \textit{A. Lauser}, Lect. Notes Comput. Sci. 7392, 275--286 (2012; Zbl 1433.03101)
Full Text: DOI
Yoshii, Keisuke; Tanaka, Kazuyuki
Infinite games and transfinite recursion of multiple inductive definitions. (English) Zbl 1358.03025
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 374-383 (2012).
MSC:  03B30 03E60 03F35 91A05 91A44
PDF BibTeX XML Cite
\textit{K. Yoshii} and \textit{K. Tanaka}, Lect. Notes Comput. Sci. 7318, 374--383 (2012; Zbl 1358.03025)
Full Text: DOI
Kreuzer, Alexander P.
Proof mining and combinatorics. Program extraction for Ramsey’s theorem for pairs. (English) Zbl 1262.03003
Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 147 p. (2012).
Reviewer: Laurenţiu Leuştean (Bucureşti)
MSC:  03-02 03B30 03D80 03F10 03F35 03F60 05D10
PDF BibTeX XML Cite
\textit{A. P. Kreuzer}, Proof mining and combinatorics. Program extraction for Ramsey's theorem for pairs. Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (2012; Zbl 1262.03003)
Full Text: Link
Figueira, Santiago; Gorín, Daniel; Grimson, Rafael
On the expressive power of IF-logic with classical negation. (English) Zbl 1328.03029
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 135-145 (2011).
MSC:  03B60 03B15 03B20
PDF BibTeX XML Cite
\textit{S. Figueira} et al., Lect. Notes Comput. Sci. 6642, 135--145 (2011; Zbl 1328.03029)
Full Text: DOI
Simpson, Stephen G.
Subsystems of second order arithmetic. Paperback reprint of the 2nd ed. 2009. (English) Zbl 1205.03002
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-15014-9/pbk). xvi, 444 p. (2010).
MSC:  03-02 03B30 03F35 03C62
PDF BibTeX XML Cite
\textit{S. G. Simpson}, Subsystems of second order arithmetic. Paperback reprint of the 2nd ed. 2009. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2010; Zbl 1205.03002)
Simpson, Stephen G.
Subsystems of second order arithmetic. 2nd ed. (English) Zbl 1181.03001
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88439-6/hbk). xvi, 444 p. (2009).
Reviewer: Jeffry L. Hirst (Boone)
MSC:  03-02 03B30 03F35 03C62
PDF BibTeX XML Cite
\textit{S. G. Simpson}, Subsystems of second order arithmetic. 2nd ed. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2009; Zbl 1181.03001)
Yokoyama, Keita
Standard and non-standard analysis in second order arithmetic. (English) Zbl 1178.03076
Tohoku Mathematical Publications 34. Sendai: Tohoku University, Mathematical Institute (Diss.). iv, 130 p. (2009).
Reviewer: Jeffry L. Hirst (Boone)
MSC:  03F35 03B30 03-02 03H05 03H15 11U10 26E35 30G06
PDF BibTeX XML Cite
\textit{K. Yokoyama}, Standard and non-standard analysis in second order arithmetic. Sendai: Tohoku University, Mathematical Institute (Diss.) (2009; Zbl 1178.03076)
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software