×

zbMATH — the first resource for mathematics

Found 1,060 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Haffner, Emmylou; Schlimm, Dirk
Dedekind on continuity. (English) Zbl 07309824
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 255-282 (2021).
MSC:  01 03 03-03 26-03 00A30
PDF BibTeX XML Cite
\textit{E. Haffner} and \textit{D. Schlimm}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 255--282 (2021; Zbl 07309824)
Full Text: DOI
Yang, Hui; Sun, Hao; Xu, Genjiu
A class of social-Shapley values of cooperative games with graph structure. (English) Zbl 1439.91009
Li, Deng-Feng (ed.), Game theory. Third East Asia game theory international conference, EAGT 2019, Fuzhou, Fujian, China, March 7–9, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1082, 43-56 (2019).
MSC:  91A12 91A43
PDF BibTeX XML Cite
\textit{H. Yang} et al., Commun. Comput. Inf. Sci. 1082, 43--56 (2019; Zbl 1439.91009)
Full Text: DOI
Kriegel, Francesco
Joining implications in formal contexts and inductive learning in a Horn description logic. (English) Zbl 07165999
Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21461-6/pbk; 978-3-030-21462-3/ebook). Lecture Notes in Computer Science 11511. Lecture Notes in Artificial Intelligence, 110-129 (2019).
MSC:  68T30
PDF BibTeX XML Cite
\textit{F. Kriegel}, Lect. Notes Comput. Sci. 11511, 110--129 (2019; Zbl 07165999)
Full Text: DOI
Wang, Xinyu; Wang, Yanjing
Knowledge-now and knowledge-all. (English) Zbl 07160625
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-60291-1/pbk; 978-3-662-60292-8/ebook). Lecture Notes in Computer Science 11813, 399-412 (2019).
MSC:  68T27
PDF BibTeX XML Cite
\textit{X. Wang} and \textit{Y. Wang}, Lect. Notes Comput. Sci. 11813, 399--412 (2019; Zbl 07160625)
Full Text: DOI
Platzer, André; Tan, Yong Kiam
Differential equation axiomatization. The impressive power of differential ghosts. (English) Zbl 1453.03026
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). 819-828 (2018).
MSC:  03B70 03B80 03F03 34A38 68Q60
PDF BibTeX XML Cite
\textit{A. Platzer} and \textit{Y. K. Tan}, 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). 819--828 (2018; Zbl 1453.03026)
Full Text: DOI
Diéguez, Martín; Fernández-Duque, David
An intuitionistic axiomatization of ‘eventually’. (English) Zbl 1418.03078
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. 199-218 (2018).
MSC:  03B45 03B20 03B44
PDF BibTeX XML Cite
\textit{M. Diéguez} and \textit{D. Fernández-Duque}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 199--218 (2018; Zbl 1418.03078)
Full Text: arXiv
Balbiani, Philippe; Diéguez, Martin
Here and there modal logic with dual implication. (English) Zbl 1418.03067
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. 63-82 (2018).
MSC:  03B45 68Q17
PDF BibTeX XML Cite
\textit{P. Balbiani} and \textit{M. Diéguez}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 63--82 (2018; Zbl 1418.03067)
Karasmanis, Vassilis
The axiomatization of mathematics and Plato’s conception of knowledge in the Meno and the Republic. (English) Zbl 1403.01007
Sialaros, Michalis (ed.), Revolutions and continuity in Greek mathematics. Berlin: De Gruyter (ISBN 978-3-11-056365-8/hbk; 978-3-11-056595-9/ebook). Science, Technology, and Medicine in Ancient Cultures 8, 319-333 (2018).
Reviewer: V. N. Saliĭ (Saratov)
MSC:  01A20
PDF BibTeX XML Cite
\textit{V. Karasmanis}, Sci. Technol. Med. Anc. Cult. 8, 319--333 (2018; Zbl 1403.01007)
Full Text: DOI
Balbiani, Philippe; Boudou, Joseph
Axiomatization and computability of a variant of iteration-free PDL with fork. (English) Zbl 06858836
Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-73578-8/pbk; 978-3-319-73579-5/ebook). Lecture Notes in Computer Science 10669, 17-34 (2018).
MSC:  03B70
PDF BibTeX XML Cite
\textit{P. Balbiani} and \textit{J. Boudou}, Lect. Notes Comput. Sci. 10669, 17--34 (2018; Zbl 06858836)
Full Text: DOI
Wille, Matthias
Gottlob Frege. Begriffsschrift, a formula language of pure thought modelled on that of arithmetic. (Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.) (German) Zbl 1403.01004
Klassische Texte der Wissenschaft. Berlin: Springer Spektrum (ISBN 978-3-662-45010-9/hbk; 978-3-662-45011-6/ebook). x, 344 p. (2018).
Reviewer: Volker Peckhaus (Paderborn)
MSC:  01-02 01A75 01A55 00A30 03-03 03A05 03A10
PDF BibTeX XML Cite
\textit{M. Wille}, Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Berlin: Springer Spektrum (2018; Zbl 1403.01004)
Full Text: DOI
Chen, Qingliang; Huang, Xiaowei; Su, Kaile; Sattar, Abdul
Quantified coalition logic of knowledge, belief and certainty. (English) Zbl 07228723
Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57350-2/pbk; 978-3-319-57351-9/ebook). Lecture Notes in Computer Science 10233. Lecture Notes in Artificial Intelligence, 351-360 (2017).
MSC:  68T27 03B42 68Q17 68T30
PDF BibTeX XML Cite
\textit{Q. Chen} et al., Lect. Notes Comput. Sci. 10233, 351--360 (2017; Zbl 07228723)
Full Text: DOI
Hannula, Miika; Kontinen, Juha; Link, Sebastian
On the interaction of inclusion dependencies with independence atoms. (English) Zbl 1403.68053
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 212-226 (2017).
MSC:  68P15 03B70
PDF BibTeX XML Cite
\textit{M. Hannula} et al., EPiC Ser. Comput. 46, 212--226 (2017; Zbl 1403.68053)
Full Text: DOI
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
A first-order logic for reasoning about higher-order upper and lower probabilities. (English) Zbl 06769624
Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 491-500 (2017).
MSC:  68T37
PDF BibTeX XML Cite
\textit{N. Savić} et al., Lect. Notes Comput. Sci. 10369, 491--500 (2017; Zbl 06769624)
Full Text: DOI

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
Biographic Reference
all top 3
Software