---
title: "Real-Valued Logics for Typological Universals — Dönicke 2020"
description: "Computational typology usually treats features from databases such as WALS or URIEL as Boolean and mostly tests simple two-variable implications."
authors: ["Tillmann Dönicke", "Xiang Yu", "Jonas Kuhn"]
year: 2020
venue: "Proceedings of the 28th International Conference on Computational Linguistics"
source: "https://aclanthology.org/2020.coling-main.353/"
doi: "10.18653/v1/2020.coling-main.353"
licence: "CC BY 4.0 (ACL Anthology)"
licence_url: "https://creativecommons.org/licenses/by/4.0/"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/donicke-2020-real-valued-logics-typological-universals/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/donicke-2020-real-valued-logics-typological-universals/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2020](https://md.research.elamur.ai/free/en/papers/2020/page/4/) / Real-Valued Logics for Typological Universals: Framework and Application

# Real-Valued Logics for Typological Universals: Framework and Application

**Authors:** [Tillmann Dönicke](https://md.research.elamur.ai/free/en/authors/tillmann-donicke/), [Xiang Yu](https://md.research.elamur.ai/free/en/authors/xiang-yu/), [Jonas Kuhn](https://md.research.elamur.ai/free/en/authors/jonas-kuhn/) · **Year:** 2020 · **Venue:** Proceedings of the 28th International Conference on Computational Linguistics · **Licence:** [CC BY 4.0 (ACL Anthology)](https://creativecommons.org/licenses/by/4.0/)

**Links:** [Publisher's page](https://aclanthology.org/2020.coling-main.353/) · [PDF](https://aclanthology.org/2020.coling-main.353.pdf) · [DOI 10.18653/v1/2020.coling-main.353](https://doi.org/10.18653/v1/2020.coling-main.353) · [OpenAlex](https://openalex.org/W3116589053)

**Citations:** 1 citations (openalex-snapshot · 2026-10-14) · [2](#cited-by) in our library, of the 140673 papers whose bibliographies we read

## Summary
Computational typology usually treats features from databases such as WALS or URIEL as Boolean and mostly tests simple two-variable implications. Dönicke, Yu and Kuhn propose a more flexible framework. It handles propositional formulae of any complexity and gives each one a graded truth score computed from corpus data.

Languages and properties form a matrix whose cells take values between 0 and 1. In the authors' setup, these values are relative frequencies of dependency constructions extracted from the UD v2.5 treebanks. Logical connectives are evaluated with fuzzy logic, which makes no independence assumption about related properties. Per-language scores are then averaged with weights based on the phylogenetic tree, so that heavily represented families such as Indo-European do not dominate the result.

The authors test the framework by re-checking known universals and by systematically scoring pairwise word-order implications. The top-ranked results recover classic generalizations, including some that earlier database-driven models had missed. The framework also proposes untested candidate universals. Its main value is that typological hypotheses can be tested on real corpora with little manual work, and its data, logic and weighting components are all interchangeable.

## Key points
- **Data:** UD v2.5 covers 90 languages in 20 families and 39 subfamilies. Features are single-link (head plus one dependent) or double-link (head plus two dependents) construction frequencies.
- **Logic:** The framework uses Zadeh's fuzzy logic. Negation is 1 − x, conjunction is min, disjunction is max, and implication and equivalence are built from these three. The authors chose it over probabilistic logic, whose product rule assumes independence.
- **Weighting:** Each family-tree node passes its weight down in equal shares to its children. All data is kept, with no undersampling, and early experiments showed better agreement with known universals than an unweighted average.
- **Pairwise experiment:** The authors tested 20 × 20 implications over 10 relations. The top result, acl-HEAD ⇒ nmod-HEAD (score 0.97), matches Universals Archive #176 (Hawkins 1983), yet neither Bjerva et al. (2019b) nor Daumé and Campbell (2007) had found it. Part of Greenberg's universal 18 (UA #57) was also recovered with a score of 0.92.
- **New candidates and code:** The search suggests new candidates, such as a postverbal auxiliary implying postpositions and prenominal genitives, articles and numerals. Code is available at github.com/tidoe/typology-coling.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

Fields: [Linguistics & languages](https://md.research.elamur.ai/free/en/shelves/linguistics/)

## Cited by

Cited by

2 papers of our library cite it (of the 140673 whose bibliographies we read); 1 of them have a page here, 1 not yet.

- [Identifying and Handling Cross-Treebank Inconsistencies in UD: A Pilot Study](https://md.research.elamur.ai/free/en/papers/donicke-2020-identifying-handling-cross-treebank-inconsistencies/)

## Cite

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{donicke2020real,
  title = {{Real-Valued Logics for Typological Universals: Framework and Application}},
  author = {Dönicke, Tillmann and Yu, Xiang and Kuhn, Jonas},
  booktitle = {Proceedings of the 28th International Conference on Computational Linguistics},
  year = {2020},
  doi = {10.18653/v1/2020.coling-main.353},
  url = {https://doi.org/10.18653/v1/2020.coling-main.353}
}
```

- [← previous Reactive Supervision: A New Method for Collecting Sarcasm Data](https://md.research.elamur.ai/free/en/papers/shmueli-2020-reactive-supervision-new-method-collecting/)
- [next → RealToxicityPrompts: Evaluating Neural Toxic Degeneration in Language Models](https://md.research.elamur.ai/free/en/papers/gehman-2020-realtoxicityprompts-evaluating-neural-toxic-degeneration/)
- [↑ back to papers of 2020](https://md.research.elamur.ai/free/en/papers/2020/page/4/)

## References

34 references, 2 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Merrie Bergmann. 2008. An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems. Cambridge University Press. [find](https://scholar.google.com/scholar?q=Merrie+Bergmann%2E+2008%2E+An+introduction+to+many%2Dvalued+and+fuzzy+logic%3A+semantics%2C+algebras%2C+and+derivation+systems%2E+Cambridge+University+Press%2E)
2. Balthasar Bickel. 2008. A refined sampling procedure for genealogical control. STUF - Language Typology and Universals, 61:221–233. [find](https://scholar.google.com/scholar?q=Balthasar+Bickel%2E+2008%2E+A+refined+sampling+procedure+for+genealogical+control%2E+STUF+%2D+Language+Typology+and+Universals%2C+61%3A221%E2%80%93233%2E)
3. Balthasar Bickel. 2011. Absolute and statistical universals. In Patrick Colm Hogan, editor, The Cambridge Encyclopedia of the Language Sciences, pages 77–79. Cambridge University Press, Cambridge. [find](https://scholar.google.com/scholar?q=Balthasar+Bickel%2E+2011%2E+Absolute+and+statistical+universals%2E+In+Patrick+Colm+Hogan%2C+editor%2C+The+Cambridge+Encyclopedia+of+the+Language+Sciences%2C+pages+77%E2%80%9379%2E+Cambridge+University+Press%2C+Cambridge%2E)
4. Johannes Bjerva, Yova Kementchedjhieva, Ryan Cotterell, and Isabelle Augenstein. 2019a. A probabilistic generative model of linguistic typology. In Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1… [find](https://scholar.google.com/scholar?q=Johannes+Bjerva%2C+Yova+Kementchedjhieva%2C+Ryan+Cotterell%2C+and+Isabelle+Augenstein%2E+2019a%2E+A+probabilistic+generative+model+of+linguistic+typology%2E+In+Proceedings+of+the+2019+Conference+of+the+North+Amer)
5. Johannes Bjerva, Yova Kementchedjhieva, Ryan Cotterell, and Isabelle Augenstein. 2019b. Uncovering probabilistic implications in typological knowledge bases. In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, pages 3924–3930, Florence, Italy, July. Associatio… [find](https://scholar.google.com/scholar?q=Johannes+Bjerva%2C+Yova+Kementchedjhieva%2C+Ryan+Cotterell%2C+and+Isabelle+Augenstein%2E+2019b%2E+Uncovering+probabilistic+implications+in+typological+knowledge+bases%2E+In+Proceedings+of+the+57th+Annual+Meeting+)
6. Johannes Bjerva, Robert Östling, Maria Han Veiga, Jörg Tiedemann, and Isabelle Augenstein. 2019c. What do language representations really represent? Computational Linguistics, 45(2):381–389. [find](https://scholar.google.com/scholar?q=Johannes+Bjerva%2C+Robert+O%CC%88stling%2C+Maria+Han+Veiga%2C+Jo%CC%88rg+Tiedemann%2C+and+Isabelle+Augenstein%2E+2019c%2E+What+do+language+representations+really+represent%3F+Computational+Linguistics%2C+45%282%29%3A381%E2%80%93389%2E)
7. Hal Daumé, III and Lyle Campbell. 2007. A Bayesian model for discovering typological implications. In Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics, pages 65–72, Prague, Czech Republic, June. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Hal+Daume%CC%81%2C+III+and+Lyle+Campbell%2E+2007%2E+A+Bayesian+model+for+discovering+typological+implications%2E+In+Proceedings+of+the+45th+Annual+Meeting+of+the+Association+of+Computational+Linguistics%2C+pages+65%E2%80%93)
8. Tillmann Dönicke. 2020. Evaluation of complex typological universals with language vectors and real-valued logics. Master’s thesis, University of Stuttgart. [find](https://scholar.google.com/scholar?q=Tillmann+Do%CC%88nicke%2E+2020%2E+Evaluation+of+complex+typological+universals+with+language+vectors+and+real%2Dvalued+logics%2E+Master%E2%80%99s+thesis%2C+University+of+Stuttgart%2E)
9. Matthew S. Dryer and Martin Haspelmath, editors. 2013. WALS Online. Max Planck Institute for Evolutionary Anthropology, Leipzig. [find](https://scholar.google.com/scholar?q=Matthew+S%2E+Dryer+and+Martin+Haspelmath%2C+editors%2E+2013%2E+WALS+Online%2E+Max+Planck+Institute+for+Evolutionary+Anthropology%2C+Leipzig%2E)
10. Matthew S. Dryer. 1989. Large linguistic areas and language sampling. Studies in Language, 13:257–292. [find](https://scholar.google.com/scholar?q=Matthew+S%2E+Dryer%2E+1989%2E+Large+linguistic+areas+and+language+sampling%2E+Studies+in+Language%2C+13%3A257%E2%80%93292%2E)
11. Matthew S. Dryer. 2003. Adverbial subordinators and word order asymmetries. In John A. Hawkins and Anna Siewierska, editors, Performance principles of word order, EUROTYP Working Papers, pages 50–67. European Science Foundation. [find](https://scholar.google.com/scholar?q=Matthew+S%2E+Dryer%2E+2003%2E+Adverbial+subordinators+and+word+order+asymmetries%2E+In+John+A%2E+Hawkins+and+Anna+Siewierska%2C+editors%2C+Performance+principles+of+word+order%2C+EUROTYP+Working+Papers%2C+pages+50%E2%80%9367%2E+)
12. Matthew S. Dryer. 2018. On the order of demonstrative, numeral, adjective, and noun. Language, 94(4):798–833. [find](https://scholar.google.com/scholar?q=Matthew+S%2E+Dryer%2E+2018%2E+On+the+order+of+demonstrative%2C+numeral%2C+adjective%2C+and+noun%2E+Language%2C+94%284%29%3A798%E2%80%93833%2E)
13. Didier Dubois and Henri Prade. 1993. Fuzzy sets and probability: misunderstandings, bridges and gaps. In [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems, volume 2, pages 1059–1068. [find](https://scholar.google.com/scholar?q=Didier+Dubois+and+Henri+Prade%2E+1993%2E+Fuzzy+sets+and+probability%3A+misunderstandings%2C+bridges+and+gaps%2E+In+%5BProceedings+1993%5D+Second+IEEE+International+Conference+on+Fuzzy+Systems%2C+volume+2%2C+pages+1059%E2%80%93)
14. Michael Dunn, Simon J. Greenhill, Stephen C. Levinson, and Russell D. Gray. 2011. Evolved structure of language shows lineage-specific trends in word-order universals. Nature, 473(7345):79–82. [find](https://scholar.google.com/scholar?q=Michael+Dunn%2C+Simon+J%2E+Greenhill%2C+Stephen+C%2E+Levinson%2C+and+Russell+D%2E+Gray%2E+2011%2E+Evolved+structure+of+language+shows+lineage%2Dspecific+trends+in+word%2Dorder+universals%2E+Nature%2C+473%287345%29%3A79%E2%80%9382%2E)
15. Kim Gerdes, Sylvain Kahane, and Xinying Chen. 2019. Rediscovering Greenberg’s word order universals in UD. In Proceedings of the Third Workshop on Universal Dependencies (UDW, SyntaxFest 2019), pages 124–131, Paris, France, 26 August. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Kim+Gerdes%2C+Sylvain+Kahane%2C+and+Xinying+Chen%2E+2019%2E+Rediscovering+Greenberg%E2%80%99s+word+order+universals+in+UD%2E+In+Proceedings+of+the+Third+Workshop+on+Universal+Dependencies+%28UDW%2C+SyntaxFest+2019%29%2C+pages+)
16. Joseph H. Greenberg. 1963. Some universals of grammar with particular reference to the order of meaningful elements. Universals of language, 2:73–113. [find](https://scholar.google.com/scholar?q=Joseph+H%2E+Greenberg%2E+1963%2E+Some+universals+of+grammar+with+particular+reference+to+the+order+of+meaningful+elements%2E+Universals+of+language%2C+2%3A73%E2%80%93113%2E)
17. Michael Hahn, Dan Jurafsky, and Richard Futrell. 2020. Universals of word order reflect optimization of grammars for efficient communication. Proceedings of the National Academy of Sciences, 117(5):2347–2353. [find](https://scholar.google.com/scholar?q=Michael+Hahn%2C+Dan+Jurafsky%2C+and+Richard+Futrell%2E+2020%2E+Universals+of+word+order+reflect+optimization+of+grammars+for+efficient+communication%2E+Proceedings+of+the+National+Academy+of+Sciences%2C+117%285%29%3A23)
18. John A. Hawkins. 1983. Word Order Universals. Academic Press, New York. [find](https://scholar.google.com/scholar?q=John+A%2E+Hawkins%2E+1983%2E+Word+Order+Universals%2E+Academic+Press%2C+New+York%2E)
19. Gerhard Jäger. 2018. Global-scale phylogenetic linguistic inference from lexical resources. Scientific data, 5(1):1–16. [find](https://scholar.google.com/scholar?q=Gerhard+Ja%CC%88ger%2E+2018%2E+Global%2Dscale+phylogenetic+linguistic+inference+from+lexical+resources%2E+Scientific+data%2C+5%281%29%3A1%E2%80%9316%2E)
20. Stephen C. Levinson and Russell D. Gray. 2012. Tools from evolutionary biology shed new light on the diversification of languages. Trends in cognitive sciences, 16(3):167–173. [find](https://scholar.google.com/scholar?q=Stephen+C%2E+Levinson+and+Russell+D%2E+Gray%2E+2012%2E+Tools+from+evolutionary+biology+shed+new+light+on+the+diversification+of+languages%2E+Trends+in+cognitive+sciences%2C+16%283%29%3A167%E2%80%93173%2E)
21. Patrick Littell, David R. Mortensen, Ke Lin, Katherine Kairis, Carlisle Turner, and Lori Levin. 2017. URIEL and lang2vec: Representing languages as typological, geographical, and phylogenetic vectors. In Proceedings of the 15th Conference of the European Chapter of the Association for Computational… [find](https://scholar.google.com/scholar?q=Patrick+Littell%2C+David+R%2E+Mortensen%2C+Ke+Lin%2C+Katherine+Kairis%2C+Carlisle+Turner%2C+and+Lori+Levin%2E+2017%2E+URIEL+and+lang2vec%3A+Representing+languages+as+typological%2C+geographical%2C+and+phylogenetic+vectors%2E) [our card](https://md.research.elamur.ai/free/en/papers/littell-2017-uriel-lang2vec-representing-languages-as/)
22. Haitao Liu. 2010. Dependency direction as a means of word-order typology: A method based on dependency treebanks. Lingua, 120(6):1567–1578. [find](https://scholar.google.com/scholar?q=Haitao+Liu%2E+2010%2E+Dependency+direction+as+a+means+of+word%2Dorder+typology%3A+A+method+based+on+dependency+treebanks%2E+Lingua%2C+120%286%29%3A1567%E2%80%931578%2E)
23. Bethany C. Lochbihler. 2017. Typology across treebanks. Master’s thesis, University of Stuttgart. [find](https://scholar.google.com/scholar?q=Bethany+C%2E+Lochbihler%2E+2017%2E+Typology+across+treebanks%2E+Master%E2%80%99s+thesis%2C+University+of+Stuttgart%2E)
24. Xia Lu. 2013. Exploring word order universals: a probabilistic graphical model approach. In 51st Annual Meeting of the Association for Computational Linguistics Proceedings of the Student Research Workshop, pages 150– 157, Sofia, Bulgaria, August. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Xia+Lu%2E+2013%2E+Exploring+word+order+universals%3A+a+probabilistic+graphical+model+approach%2E+In+51st+Annual+Meeting+of+the+Association+for+Computational+Linguistics+Proceedings+of+the+Student+Research+Wor)
25. Jan Łukasiewicz and Alfred Tarski. 1930. Untersuchungen über den Aussagenkalkül. Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23, cl. iii:39–50. English translation by J. H. Woodger, “Investigations into the Sentential Calculus.” In: Alfred Tarski, Logic, Se… [find](https://scholar.google.com/scholar?q=Jan+%C5%81ukasiewicz+and+Alfred+Tarski%2E+1930%2E+Untersuchungen+u%CC%88ber+den+Aussagenkalku%CC%88l%2E+Comptes+rendus+des+se%CC%81ances+de+la+Socie%CC%81te%CC%81+des+Sciences+et+des+Lettres+de+Varsovie%2C+23%2C+cl%2E+iii%3A39%E2%80%9350%2E+English+trans)
26. Chaitanya Malaviya, Graham Neubig, and Patrick Littell. 2017. Learning language representations for typology prediction. In Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, pages 2529–2535, Copenhagen, Denmark, September. Association for Computational Linguisti… [find](https://scholar.google.com/scholar?q=Chaitanya+Malaviya%2C+Graham+Neubig%2C+and+Patrick+Littell%2E+2017%2E+Learning+language+representations+for+typology+prediction%2E+In+Proceedings+of+the+2017+Conference+on+Empirical+Methods+in+Natural+Language+)
27. Eduardo Mizraji. 1992. Vector logics: The matrix-vector representation of logical calculus. Fuzzy Sets and Systems, 50(2):179 – 185. [find](https://scholar.google.com/scholar?q=Eduardo+Mizraji%2E+1992%2E+Vector+logics%3A+The+matrix%2Dvector+representation+of+logical+calculus%2E+Fuzzy+Sets+and+Systems%2C+50%282%29%3A179+%E2%80%93+185%2E)
28. Joakim Nivre, Marie-Catherine de Marneffe, Filip Ginter, Yoav Goldberg, Jan Hajič, Christopher D. Manning, Ryan McDonald, Slav Petrov, Sampo Pyysalo, Natalia Silveira, Reut Tsarfaty, and Daniel Zeman. 2016. Universal dependencies v1: A multilingual treebank collection. In Proceedings of the Tenth I… [find](https://scholar.google.com/scholar?q=Joakim+Nivre%2C+Marie%2DCatherine+de+Marneffe%2C+Filip+Ginter%2C+Yoav+Goldberg%2C+Jan+Hajic%CC%8C%2C+Christopher+D%2E+Manning%2C+Ryan+McDonald%2C+Slav+Petrov%2C+Sampo+Pyysalo%2C+Natalia+Silveira%2C+Reut+Tsarfaty%2C+and+Daniel+Zeman) [our card](https://md.research.elamur.ai/free/en/papers/ud-2016-nivre-universal-dependencies-v1-multilingual-treebank/)
29. Arturo Oncevay, Barry Haddow, and Alexandra Birch. 2019. Towards a multi-view language representation: A shared space of discrete and continuous language features. Phonology, 27(28):84–51. [find](https://scholar.google.com/scholar?q=Arturo+Oncevay%2C+Barry+Haddow%2C+and+Alexandra+Birch%2E+2019%2E+Towards+a+multi%2Dview+language+representation%3A+A+shared+space+of+discrete+and+continuous+language+features%2E+Phonology%2C+27%2828%29%3A84%E2%80%9351%2E)
30. Frans Plank and Elena Filimonova. 2000. The Universals Archive: A brief introduction for prospective users. STUF-Language Typology and Universals, 53(1):109–123. [find](https://scholar.google.com/scholar?q=Frans+Plank+and+Elena+Filimonova%2E+2000%2E+The+Universals+Archive%3A+A+brief+introduction+for+prospective+users%2E+STUF%2DLanguage+Typology+and+Universals%2C+53%281%29%3A109%E2%80%93123%2E)
31. Nicholas J. J. Smith. 2012. Many-valued logics. The Routledge companion to philosophy of language, pages 636–651. [find](https://scholar.google.com/scholar?q=Nicholas+J%2E+J%2E+Smith%2E+2012%2E+Many%2Dvalued+logics%2E+The+Routledge+companion+to+philosophy+of+language%2C+pages+636%E2%80%93651%2E)
32. Jae Jung Song. 2018. Language samples and sampling methods. In Linguistic Typology, chapter 5, pages 77–117. Oxford University Press. [find](https://scholar.google.com/scholar?q=Jae+Jung+Song%2E+2018%2E+Language+samples+and+sampling+methods%2E+In+Linguistic+Typology%2C+chapter+5%2C+pages+77%E2%80%93117%2E+Oxford+University+Press%2E)
33. Lotfi A. Zadeh. 1965. Fuzzy sets. Information and control, 8(3):338–353. [find](https://scholar.google.com/scholar?q=Lotfi+A%2E+Zadeh%2E+1965%2E+Fuzzy+sets%2E+Information+and+control%2C+8%283%29%3A338%E2%80%93353%2E)
34. Daniel Zeman, Joakim Nivre, Mitchell Abrams, Noëmi Aepli, Željko Agić, Lars Ahrenberg, Gabrielė Aleksan-dravičiūtė, Lene Antonsen, Katya Aplonova, Maria Jesus Aranzabe, Gashaw Arutie, Masayuki Asahara, Luma Ateyah, Mohammed Attia, Aitziber Atutxa, Liesbeth Augustinus, Elena Badmaeva, Miguel B… [find](https://scholar.google.com/scholar?q=Daniel+Zeman%2C+Joakim+Nivre%2C+Mitchell+Abrams%2C+Noe%CC%88mi+Aepli%2C+Z%CC%8Celjko+Agic%CC%81%2C+Lars+Ahrenberg%2C+Gabriele%CC%87+Aleksan%2Ddravic%CC%8Ciu%CC%84te%CC%87%2C+Lene+Antonsen%2C+Katya+Aplonova%2C+Maria+Jesus+Aranzabe%2C+Gashaw+Arutie%2C+Masayuki+)