On rewriting sentences into formulas

DOI10.1007/BF02123618zbMath0406.03012MaRDI QIDQ1257462

Pavel Krizek

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

TranslationLinguisticPredicate CalculusLanguage of Modified Predicate CalculusLanguage of Semantic RepresentationsNatural Language Semantics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Classical first-order logic (03B10) Natural language processing (68T50)

Cites Work

• Unnamed Item
• Formal methods in the design of question-answering systems
• Theorie der Logischen Auswahlfunktionen

This page was built for publication: On rewriting sentences into formulas