Extending flexible Boolean semantics for the language of mathematics

DOI10.1007/978-3-032-07021-0_9MaRDI QIDQ6856420zbMATH OpenFDO

Authors Shashank Pathak

Publication date 19 February 2026

Full work available at URL https://doi.org/10.1007/978-3-032-07021-0_9

zbMATH Keywords

coordinationlanguage of mathematicsplurals

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• Context-relative syntactic categories and the formalization of mathematical text
• Grammatical Framework
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 6174934 (Why is no real title available?)
• scientific article; zbMATH DE number 2190569 (Why is no real title available?)
• Implicit dynamic function introduction and Ackermann-like function theory
• ProofLang: the language of arXiv proofs
• Syntactic categories in the language of mathematics
• The language of mathematics. A linguistic and philosophical investigation
• Translating between language and logic: what is easy and what is difficult
• Type theory and the informal language of mathematics

This page was built for publication: Extending flexible Boolean semantics for the language of mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856420)