×

zbMATH — the first resource for mathematics

Found 105 Documents (Results 1–100)

100
MathJax
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 133-156 (2016).
MSC:  03B10 03B50 03B22
PDF BibTeX XML Cite
Algebra Logic 55, No. 2, 103-127 (2016); translation from Algebra Logika 55, No. 2, 156-191 (2016); erratum ibid. 55, No. 3, 256 (2016).
MSC:  03B52 03F03 68Q17
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, 213-232 (2009).
MSC:  03B50 06D35 60A05
PDF BibTeX XML Cite
Full Text: DOI
Fitting, Melvin (ed.) et al., Beyond two: Theory and applications of multiple-valued logic. Heidelberg: Physica-Verlag (ISBN 3-7908-1541-1/pbk). Stud. Fuzziness Soft Comput. 114, 315-335 (2003).
MSC:  03B50 03B70 03D15
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, 381-396 (2002).
MSC:  03B53 03B50 06D35
PDF BibTeX XML Cite
Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 36-50 (1999).
MSC:  03F03 03B50 68T27
PDF BibTeX XML Cite
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24-29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 295-313 (1999).
Reviewer: A.Hoogewijs (Gent)
MSC:  03B50
PDF BibTeX XML Cite
Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 273-284 (1998).
MSC:  03B50 03D15
PDF BibTeX XML Cite
Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 1: Quantified representation of uncertainty and imprecision. Dordrecht: Kluwer Academic Publishers. 25-74 (1998).
Reviewer: D.Mundici (Milano)
PDF BibTeX XML Cite
Full Text: arXiv
Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 203-212 (1998).
MSC:  03B52 03F03 03B50
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1289, 128-139 (1997).
PDF BibTeX XML Cite
Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 401-423 (1996).
Reviewer: A.Hoogewijs (Gent)
MSC:  03B50
PDF BibTeX XML Cite
Höhle, Ulrich (ed.) et al., Non-classical logics and their applications to fuzzy subsets. A handbook of the mathematical foundations of fuzzy set theory. Proceedings of the 14th Linz seminar on fuzzy set theory held at Linz, Austria in the second week of September 1992. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. B. 32, 107-123 (1995).
Reviewer: A.Hoogewijs (Gent)
MSC:  03B50
PDF BibTeX XML Cite
Cybern. Syst. Anal. 28, No. 3, 335-347 (1992); translation from Kibern. Sist. Anal. 1992, No. 3, 15-30 (1992).
MSC:  68Q45 94C10 03B50
PDF BibTeX XML Cite
Full Text: DOI
Autom. Control Comput. Sci. 15, No. 6, 39-45 (1981); translation from Avtom. Vychisl. Tekh. 1981, No. 6, 46-53 (1981).
MSC:  68M20 68R99 68N25
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
all top 3
Software