PRUF—a meaning representation language for natural languages

1978 International Journal of Man-Machine Studies 724 citations

Keywords

PropositionTruth valueUnit intervalMathematicsMeaning (existential)Natural languageVariable (mathematics)LinguisticsRepresentation (politics)Semantic theory of truthEpistemologyDiscrete mathematicsPhilosophy

Affiliated Institutions

Related Publications

Publication Info

Year
1978
Type
article
Volume
10
Issue
4
Pages
395-460
Citations
724
Access
Closed

External Links

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

724
OpenAlex

Cite This

Lotfi A. Zadeh (1978). PRUF—a meaning representation language for natural languages. International Journal of Man-Machine Studies , 10 (4) , 395-460. https://doi.org/10.1016/s0020-7373(78)80003-0

Identifiers

DOI
10.1016/s0020-7373(78)80003-0