×

Found 7,278 Documents (Results 1–100)

100
MathJax

Disjunction and negation in information based semantics. (English) Zbl 07547751

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 355-371 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021).
MSC:  68V20 03B05 03B20
PDF BibTeX XML Cite
Full Text: DOI

On the 4-spectrum of first-order properties of random graphs. (English. Russian original) Zbl 1484.05191

Dokl. Math. 104, No. 2, 247-249 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 500, 31-34 (2021).
PDF BibTeX XML Cite
Full Text: DOI

The Diophantine problem in the classical matrix groups. (English. Russian original) Zbl 07480691

Izv. Math. 85, No. 6, 1220-1256 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 6, 205-244 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Computational thinking: a perspective on computer science. (English) Zbl 07385350

Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

The legacy of Mario Pieri in foundations and philosophy of mathematics. (English) Zbl 1464.00008

New York, NY: Birkhäuser/Springer (ISBN 978-0-8176-4822-0/hbk; 978-0-8176-4823-7/ebook). xxii, 603 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

On descriptional propositions in Ibn Sīnā: elements for a logical analysis. (English) Zbl 1473.03007

Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 411-431 (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

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

all top 3

Software