Syntactic categories in the language of mathematics

DOI10.1007/3-540-60579-7_9MaRDI QIDQ6061879zbMATH OpenOpenAlexFDO

Authors Aarne Ranta

Publication date 8 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60579-7_9

zbMATH Keywords

noun phrasephrase structuresyntactic categorysyntax treetype theory

Mathematics Subject Classification ID

Type theory (03B38) Logic of natural languages (03B65) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1129259
• The language of mathematics. A linguistic and philosophical investigation
• scientific article; zbMATH DE number 783772
• scientific article; zbMATH DE number 1568792
• Grammar as Mathematics

Cites work

• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• scientific article; zbMATH DE number 3254899 (Why is no real title available?)
• The axioms of constructive geometry

Cited in

(1)

• Extending flexible Boolean semantics for the language of mathematics

This page was built for publication: Syntactic categories in the language of mathematics

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