×

Found 197 Documents (Results 1–100)

100
MathJax

Design patterns for mathematical proofs. A guide, in particular for computer scientists. (Design Patterns für mathematische Beweise. Ein Leitfaden insbesondere für Informatiker.) (German) Zbl 1392.68003

Berlin: Springer Vieweg (ISBN 978-3-662-55651-1/pbk; 978-3-662-55652-8/ebook). xi, 184 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

The extension of imprecise probabilities based on generalized credal sets. (English) Zbl 1422.62017

Ferraro, Maria Brigida (ed.) et al., Soft methods for data science. Selected papers based on the presentations at the 8th international conference on soft methods in probability and statistics, SMPS 2016, Rome, Italy, September 12–14, 2016. Cham: Springer. Adv. Intell. Syst. Comput. 456, 87-94 (2017).
MSC:  62-07 68P05 60A05 62B10
PDF BibTeX XML Cite
Full Text: DOI

Conjunctive rules in the theory of belief functions and their justification through decisions models. (English) Zbl 1392.68400

Vejnarová, Jiřina (ed.) et al., Belief functions: theory and applications. 4th international conference, BELIEF 2016, Prague, Czech Republic, September 21–23, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-45558-7/pbk; 978-3-319-45559-4/ebook). Lecture Notes in Computer Science 9861. Lecture Notes in Artificial Intelligence, 137-145 (2016).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Modality, potentiality, and contradiction in quantum mechanics. (English) Zbl 1423.81017

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, 249-265 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An approach to paraconsistent multivalued logic: evaluation by complex truth values. (English) Zbl 1423.03102

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, 147-163 (2015).
MSC:  03B53 03B50
PDF BibTeX XML Cite
Full Text: DOI

Round squares are no contradictions (tutorial on negation contradiction and opposition). (English) Zbl 1423.03096

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, 39-55 (2015).
MSC:  03B53 03A05
PDF BibTeX XML Cite
Full Text: DOI

Mathematics and revolutionary theory. Reading Castoriadis after Badiou. Translated from the English by Martin Franke and Marietta Ehret. (Mathematik und revolutionäre Theorie. Von Castoriadis bis Badiou.) (German) Zbl 1462.03006

Die Weltweit Besten Mathematischen Artikel im 21. Jahrhundert 4. Lemgo: e-enterprise (ISBN 978-3-945059-25-8/pbk; 978-3-945059-26-5/ebook). 117 p. (2015).
PDF BibTeX XML Cite

Potentiality and contradiction in quantum mechanics. (English) Zbl 1377.81009

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 201-211 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Alongside the parabolic quasilinear method in fluid dynamics. (English) Zbl 1336.35005

Göttingen: Sierke; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (ISBN 978-3-86844-737-8/pbk). xv, 274 p. (2015).
PDF BibTeX XML Cite

Contradictions in mathematics. (English) Zbl 1213.03006

Löwe, Benedikt (ed.) et al., PhiMSAMP. Philosophy of Mathematics: Sociological aspects and mathematical practice. Including selected papers of the 3rd PhiMSAMP conference ‘Is mathematics special?’, Vienna, Austria, 2008. London: College Publications (ISBN 978-1-904987-95-6/pbk). Texts in Philosophy 11, 29-37 (2010).
MSC:  03A05 00A30
PDF BibTeX XML Cite

Does mathematics need a foundation? A commentary on Part III of Wittgenstein’s “Remarks on the foundations of mathematics”. (Braucht die Mathematik eine Grundlegung? Ein Kommentar des Teils III von Wittgensteins “Bemerkungen über die Grundlagen der Mathematik”.) (German) Zbl 1223.03003

Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03667-8/hbk). xiv, 602 p. (2010).
PDF BibTeX XML Cite

Arguing for inconsistency: dialectical games in the academy. (English) Zbl 1255.01003

Primiero, Giuseppe (ed.) et al., Acts of knowledge. History, philosophy and logic. Essays dedicated to Göran Sundholm. London: College Publications (ISBN 978-1-904987-92-5/pbk). Tributes 9, 35-71 (2009).
PDF BibTeX XML Cite

A conflict-based model for problem-oriented software engineering and its applications solved by dimension change and use of intermediary. (English) Zbl 1185.68249

Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 61-69 (2009).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI

Non contradiction, excluded middle, and fuzzy sets. (English) Zbl 1196.03041

Di Gesù, Vito (ed.) et al., Fuzzy logic and applications. 8th international workshop, WILF 2009, Palermo, Italy, June 9–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02281-4/pbk). Lecture Notes in Computer Science 5571. Lecture Notes in Artificial Intelligence, 1-11 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Uninorms and non-contradiction. (English) Zbl 1178.68590

Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 5th international conference, MDAI 2008, Sabadell, Spain, October 30–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88268-8/pbk). Lecture Notes in Computer Science 5285. Lecture Notes in Artificial Intelligence, 50-61 (2008).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Narrow proofs may be spacious, separating space and width in resolution. (English) Zbl 1301.03060

Kleinberg, Jon M. (ed.), Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21–23, 2006. New York, NY: ACM Press (ISBN 1-59593-134-1). 507-516 (2006).
MSC:  03F20 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification