×

Found 198 Documents (Results 1–100)

Boole’s untruth tables: the formal conditions of meaning before the emergence of propositional logic. (English) Zbl 07740510

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 119-149 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Classes of functions of multi-valued logic closed with respect to superposition and inversion operations. (English. Russian original) Zbl 1371.03033

Mosc. Univ. Math. Bull. 72, No. 2, 45-48 (2017); translation from Vestn. Mosk. Univ., Ser. I 72, No. 2, 3-7 (2017).
MSC:  03B50 06E30
PDFBibTeX XMLCite
Full Text: DOI

Conceptual confluence in 1936: Post and Turing. (English) Zbl 1400.01008

Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 3-27 (2015).
PDFBibTeX XMLCite
Full Text: DOI

(\(S,N\))-implications on bounded lattices. (English) Zbl 1307.03015

Baczyński, Michał (ed.) et al., Advances in fuzzy implication functions. Berlin: Springer (ISBN 978-3-642-35676-6/hbk; 978-3-642-35677-3/ebook). Studies in Fuzziness and Soft Computing 300, 101-124 (2013).
MSC:  03B52
PDFBibTeX XMLCite
Full Text: DOI

Towards a categorical theory of creativity for music, discourse, and cognition. (English) Zbl 1270.00024

Yust, Jason (ed.) et al., Mathematics and computation in music. 4th international conference, MCM 2013, Montreal, QC, Canada, June 12–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39356-3/pbk). Lecture Notes in Computer Science 7937. Lecture Notes in Artificial Intelligence, 19-37 (2013).
PDFBibTeX XMLCite
Full Text: DOI

The completeness problem in the function algebra of linear integer-coefficient polynomials. (English. Russian original) Zbl 1234.08006

Discrete Math. Appl. 20, No. 5-6, 621-641 (2010); translation from Diskretn. Mat. 22, No. 4, 64-82 (2010).
MSC:  08A40 03B50
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software