×

Found 130 Documents (Results 1–100)

100
MathJax

Fuzzy logic explains the usual choice of logical operations in 2-valued logic. (English) Zbl 1483.03020

Ceberio, Martine (ed.) et al., How uncertainty related ideas can provide theoretical explanation for empirical dependencies. Cham: Springer. Stud. Syst. Decis. Control 306, 141-151 (2021).
MSC:  03B52
PDF BibTeX XML Cite
Full Text: DOI

Gottlob Frege’s Basic laws of arithmetic. A commentary on the foreword, the afterword and the introductory paragraphs. (Gottlob Freges Grundgesetze der Arithmetik. Ein Kommentar des Vorworts, des Nachworts und der einleitenden Paragrafen.) (German) Zbl 1481.01035

Münster: Mentis Verlag (ISBN 978-3-95743-160-8/pbk; 978-3-95743-717-4/ebook). 163 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

On the NP-completeness of the minimum circuit size problem. (English) Zbl 1366.68074

Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 236-245 (2015).
MSC:  68Q17 03D15 68Q05 68Q25 94C10
PDF BibTeX XML Cite
Full Text: DOI

Structural functionality as a fundamental property of Boolean algebra and base for its real-valued realizations. (English) Zbl 1437.06024

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 443, 28-36 (2014).
MSC:  06E30 03B52
PDF BibTeX XML Cite
Full Text: DOI

The isomorphism conjecture for NP. (English) Zbl 1269.68053

Cooper, S. Barry (ed.) et al., Computability in context. Computation and logic in the real world. London: Imperial College Press (ISBN 978-1-84816-245-7/hbk; 978-1-84816-277-8/ebook). 19-48 (2011).
MSC:  68Q15 68-02
PDF BibTeX XML Cite

A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002

Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

\(\varepsilon\)-style (of) semantics. An alternative to set-theoretic modelling. (English) Zbl 1213.03068

Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 111-142 (2008).
PDF BibTeX XML Cite

Hardness of approximate two-level logic minimization and PAC learning with membership queries. (English) Zbl 1301.68214

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). 363-372 (2006).
MSC:  68T05 68Q17 68Q25 68W25 94C10
PDF BibTeX XML Cite
Full Text: DOI

Evidence and compositionality. (English) Zbl 1103.62019

Lawry, Jonathan (ed.) et al., Soft methods for integrated uncertainty modelling. Proceedings of the 2006 international workshop on soft methods in probability and statistics (SMPS 2006), Bristol, UK, September 5–7, 2006. Berlin: Springer (ISBN 3-540-34776-3/pbk). Advances in Soft Computing, 307-315 (2006).
PDF BibTeX XML Cite

The Gupta-Belnap fixed-point problem and the theory of clones of functions. (English) Zbl 1036.03507

Löwe, Benedikt (ed.) et al., Foundation of the formal sciences II. Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10–13, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1154-7/hbk). Trends Log. Stud. Log. Libr. 17, 175-184 (2003).
MSC:  03A05 03B60 08A40
PDF BibTeX XML Cite

New connectives for (full) fuzzy resolution. (English) Zbl 0986.03021

Sinčák, Peter (ed.) et al., The state of the art in computational intelligence. Proceedings of the European symposium on computational intelligence, Košice, Slovak Republic, August 30-September 1, 2000. With Forewords by Lotfi A. Zadeh, David E. Goldberg and Kunihiko Fukushima. Heidelberg: Physica-Verlag. Advances in Soft Computing. 146-151 (2000).
MSC:  03B52 03B50
PDF BibTeX XML Cite

Quantifier elimination in fuzzy logic. (English) Zbl 0933.03022

Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 399-414 (1999).
PDF BibTeX XML Cite

Analytic calculi for projective logics. (English) Zbl 0931.03066

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

On f-sparse sets in NP-P. (English) Zbl 0895.68052

Plášil, František (ed.) et al., SOFSEM ’97: Theory and practice of informatics. 24th seminar on current trends in theory and practice of informatics, Milovy, Czech Republic, November 22–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1338, 415-422 (1997).
MSC:  68Q15
PDF BibTeX XML Cite

Decomposition of Boolean functions based on polynomial expansion. (English. Russian original) Zbl 0727.94009

Sov. J. Comput. Syst. Sci. 28, No. 2, 151-156 (1990); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1989, No. 3, 187-191 (1989).
MSC:  94C10
PDF BibTeX XML Cite

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

Biographic Reference

all top 3

Software