×

Found 1,634 Documents (Results 1–100)

Two-layered logics for paraconsistent probabilities. (English) Zbl 07810560

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 101-117 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Weight multiplicities and Young tableaux through affine crystals. (English) Zbl 1520.17001

Memoirs of the American Mathematical Society 1401. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5994-9/pbk; 978-1-4704-7402-7/ebook). v, 88 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

The relevance logic programme: failed or just stalled? (English) Zbl 07740539

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., 709-719 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Goéland: a concurrent tableau-based theorem prover (system description). (English) Zbl 07628198

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 359-368 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Standard monomial theory and toric degenerations of Richardson varieties in flag varieties. (English) Zbl 1496.14049

Miller, Claudia (ed.) et al., Women in commutative algebra. Proceedings of the 2019 WICA workshop, Banff, Alberta, Canada, October 20–25, 2019. Cham: Springer. Assoc. Women Math. Ser. 29, 165-192 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On mixing term logics. (English) Zbl 07582519

Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 6-23 (2022).
MSC:  68T27 03-XX
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software