Context-relative syntactic categories and the formalization of mathematical text

DOI10.1007/3-540-61780-9_73MaRDI QIDQ4647583zbMATH OpenOpenAlexFDO

Authors Aarne Ranta

Publication date 15 January 2019

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

Full work available at URL https://doi.org/10.1007/3-540-61780-9_73

zbMATH Keywords

mathematical textnoun phrasesyntactic categorysyntax treetype theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Type theory (03B38) Logic of natural languages (03B65)

Cited in

(1)

• Extending flexible Boolean semantics for the language of mathematics

Describes a project that uses

Uses Software

• ALF
• Automath

This page was built for publication: Context-relative syntactic categories and the formalization of mathematical text

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