×

zbMATH — the first resource for mathematics

Found 136 Documents (Results 1–100)

100
MathJax
Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 147-161 (2020).
PDF BibTeX XML Cite
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. 109-123 (2017).
MSC:  03B42 03B45 03B50
PDF BibTeX XML Cite
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 148-160 (2016).
MSC:  03B42 03B50 03B52
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 108-122 (2016).
MSC:  03B42 03B50 06D35
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 236-251 (2016).
MSC:  03B45 03B50
PDF BibTeX XML Cite
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, 229-247 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Edinburgh Advanced Textbooks in Linguistics. Edinburgh: Edinburgh University Press (ISBN 978-0-7486-9162-3/hbk; 978-0-7486-9163-0/pbk). viii, 315 p. (2015).
PDF BibTeX XML Cite
Springer Proceedings in Mathematics & Statistics 152. New Delhi: Springer (ISBN 978-81-322-2717-5/hbk; 978-81-322-2719-9/ebook). xi, 552 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 191-220 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 459-477 (2014).
MSC:  03B42 03B50
PDF BibTeX XML Cite
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 407-420 (2014).
MSC:  03B45 03B50
PDF BibTeX XML Cite
Nakamatsu, Kazumi (ed.) et al., The handbook on reasoning-based intelligent systems. Hackensack, NJ: World Scientific (ISBN 978-981-4329-47-7/hbk; 978-981-4489-16-4/ebook). 189-206 (2011).
MSC:  03B70 68T27 03B45 03B50 03B53 68T15
PDF BibTeX XML Cite
Full Text: DOI
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 173-186 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 1-7 (2009).
MSC:  03-02
PDF BibTeX XML Cite
Full Text: DOI
Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 111-132 (2008).
MSC:  03B50 03B45 03B62
PDF BibTeX XML Cite
Paderborn: Mentis (ISBN 978-3-89785-542-7/pbk). xii, 306 p. (2008).
PDF BibTeX XML Cite
Béziau, J.-Y. (ed.) et al., Aspects of universal logic. Selected papers from the international workshop on universal logic, Neuchâtel, Switzerland, October 6–8, 2003. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques. Travaux de Logique. Centre de Recherches Sémiologiques 17, 199-218 (2004).
PDF BibTeX XML Cite
Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. New York, NY: Marcel Dekker (ISBN 0-8247-0805-9/pbk). Lect. Notes Pure Appl. Math. 228, 341-352 (2002).
PDF BibTeX XML Cite
Novák, Vilém (ed.) et al., Discovering the world with fuzzy logic. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 57, 495-547 (2000).
PDF BibTeX XML Cite
Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 33-52 (1999).
MSC:  03B50 03B53 03B45
PDF BibTeX XML Cite
de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 156-171 (1998).
PDF BibTeX XML Cite

Filter Results by …

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