×

Found 8,829 Documents (Results 1–100)

On the cardinality computation problem for regular languages over symmetric groups. (English. Russian original) Zbl 07881447

Mosc. Univ. Comput. Math. Cybern. 48, No. 2, 130-136 (2024); translation from Vestn. Mosk. Univ., Ser. XV 2024, No. 2, 73-79 (2024).
MSC:  68Qxx 03Bxx 03Dxx
PDFBibTeX XMLCite
Full Text: DOI

Checking the polynomiality of single-variable functions of \({k}\)-valued logic composite modulo \({k}\). (English. Russian original) Zbl 07881446

Mosc. Univ. Comput. Math. Cybern. 48, No. 2, 119-129 (2024); translation from Vestn. Mosk. Univ., Ser. XV 2024, No. 2, 58-72 (2024).
MSC:  03Bxx 11Txx 11Cxx
PDFBibTeX XMLCite
Full Text: DOI

Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto’s propositional ontology \(\bf L_1\). arXiv:2402.07030

Preprint, arXiv:2402.07030 [math.LO] (2024).
BibTeX Cite
Full Text: arXiv

Advanced intelligent systems and reasoning: standardization, experimentation, explanation. (English) Zbl 1535.68250

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 3-20 (2023).
PDFBibTeX XMLCite
Full Text: Link

On analogues of Herbrand’s and Harrop’s theorems for the joint logic of problems and propositions QHC. (English. Russian original) Zbl 07820607

Dokl. Math. 108, No. 3, 528-532 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 514, No. 1, 123-128 (2023).
MSC:  03Fxx 03-XX 03Bxx
PDFBibTeX XMLCite
Full Text: DOI

Semiproducts, products, and modal predicate logics: some examples. (English. Russian original) Zbl 07812324

Dokl. Math. 108, No. 2, 411-418 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 513, 99-107 (2023).
MSC:  03Bxx 03-XX 03Cxx
PDFBibTeX XMLCite
Full Text: DOI

Countable models of complete ordered theories. (English. Russian original) Zbl 07812312

Dokl. Math. 108, No. 2, 343-345 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 513, 5-8 (2023).
MSC:  03Cxx 03Bxx 06Axx
PDFBibTeX XMLCite
Full Text: DOI

Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression. (English. Ukrainian original) Zbl 07806783

Cybern. Syst. Anal. 59, No. 6, 880-889 (2023); translation from Kibern. Sist. Anal. 59, No. 6, 19-29 (2023).
MSC:  68Qxx 03Dxx 03Bxx
PDFBibTeX XMLCite
Full Text: DOI

Non-iterative Wagner-Hagras general type-2 Mamdani singleton fuzzy logic system optimized by central composite design in quality assurance by image processing. (English) Zbl 1532.94004

Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 201-216 (2023).
MSC:  94A08 94D05
PDFBibTeX XMLCite
Full Text: DOI

An enhanced Internet of things enabled type-2 fuzzy logic for Healthcare system applications. (English) Zbl 1534.93269

Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 133-151 (2023).
MSC:  93C42 92C50
PDFBibTeX XMLCite
Full Text: DOI

Application of interval type-2 fuzzy logic control approach to the lower-limb exoskeleton. (English) Zbl 1534.93278

Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 1-14 (2023).
PDFBibTeX XMLCite
Full Text: DOI

A journey of discovery into the world of the infinite. The foundations of mathematics from antiquity to modern times. (Eine Entdeckungsreise in die Welt des Unendlichen. Die Grundlagen der Mathematik von der Antike bis in die Neuzeit.) (German) Zbl 07788651

Berlin: Springer Spektrum (ISBN 978-3-662-68093-3/pbk; 978-3-662-68094-0/ebook). ix, 298 p. (2023).
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

Biographic Reference

all top 3

Software