Petr Jirků

Czech logician
Person human Q95392327
Press Enter · cited answer in seconds

Petr Jirků was born on October 10, 1942 in Velké Zboží[1][2][3] and died on August 5, 2017[1][2][3]. He worked as a logician, scientist, and university teacher[1].

His professional focus lay in the areas of logic, formal logic, formal language, and logical thinking[1].

Petr Jirků

Summary

Petr Jirků is a human[1]. His place of birth was Velké Zboží[2]. He was born on +1942-10-10T00:00:00Z[3]. He died on +2017-08-05T00:00:00Z[4]. He worked as a logician[5], scientist[6], and university teacher[7]. He is known by 4 alternative names across languages and contexts.[8]

Key Facts

  • Petr Jirků's place of birth was Velké Zboží[2].
  • Petr Jirků was born on +1942-10-10T00:00:00Z[3].
  • Petr Jirků died on +2017-08-05T00:00:00Z[4].
  • Petr Jirků held citizenship in Czechoslovakia[9].
  • Petr Jirků held citizenship in Czech Republic[10].
  • Petr Jirků's professions included logician[5].
  • Petr Jirků worked as a scientist[6].
  • Petr Jirků worked as a university teacher[7].
  • Petr Jirků's field of work was logic[11].
  • Petr Jirků's field of work was formal logic[12].
  • Petr Jirků's field of work was formal language[13].
  • Petr Jirků's field of work was logical thinking[14].
  • Petr Jirků's field of work was artificial intelligence[15].
  • Petr Jirků's field of work was expert system[16].
  • Petr Jirků was educated at Faculty of Mathematics and Physics, Charles University[17].
  • Petr Jirků was educated at Faculty of Arts, Charles University in Prague[18].
  • Petr Jirků's doctoral advisor was Miroslav Mleziva[19].
  • Petr Jirků is recorded as male[20].
  • Petr Jirků's instance of is recorded as human[21].
  • Petr Jirků supervised Libor Behounek as a doctoral student[22].
  • Petr Jirků's ISNI is recorded as 0000000385593134[23].
  • Petr Jirků's VIAF cluster ID is recorded as 84063406[24].
  • Petr Jirků's Mathematics Genealogy Project ID is recorded as 153127[25].
  • Petr Jirků's NL CR AUT ID is recorded as jn20001227484[26].
  • Petr Jirků's family name is recorded as Jirků[27].

Body

Origins and Family

Petr Jirků's place of birth was Velké Zboží[2]. He was born on +1942-10-10T00:00:00Z[3].

Education

Educated at Faculty of Mathematics and Physics, Charles University[17], a faculty[28], in Czech Republic[29], founded in 1952[30], headquartered in Prague[31] and Faculty of Arts, Charles University in Prague[18], a faculty[32], in Czech Republic[33], founded in 1348[34], headquartered in Prague[35]. Petr Jirků's doctoral advisor was Miroslav Mleziva[19].

Career and Affiliations

Recorded occupations include logician[5], scientist[6], and university teacher[7]. Fields of work include logic[11], a class used in Universal Decimal Classification[36]; formal logic[12], an academic discipline[37]; formal language[13], a linguistic term[38]; logical thinking[14]; artificial intelligence[15], a type of technology[39]; and expert system[16]. Petr Jirků supervised Libor Behounek as a doctoral student[22].

Death and Burial

Petr Jirků died on +2017-08-05T00:00:00Z[4].

Why It Matters

Petr Jirků is known by 4 alternative names across languages and contexts.[8]

FAQs

Where was Petr Jirků born?

Petr Jirků was born in Velké Zboží[2].

What did Petr Jirků do for work?

Petr Jirků worked as logician[5], scientist[6], and university teacher[7].

Where did Petr Jirků go to school?

Petr Jirků was educated at Faculty of Mathematics and Physics, Charles University[17] and Faculty of Arts, Charles University in Prague[18].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] . Slovník českých filosofů. Retrieved . phil.muni.cz. Provenance: wikidata.org.
  2. [20] . Czech National Authority Database. Retrieved . wikidata.org.
  3. [9] . wikidata.org.
  4. [10] . wikidata.org.
  5. [21] . Czech National Authority Database. Retrieved . wikidata.org.
  6. [17] . wikidata.org.
  7. [18] . wikidata.org.
  8. [11] . Czech National Authority Database. Retrieved . wikidata.org.
  9. [12] . Czech National Authority Database. Retrieved . wikidata.org.
  10. [13] . Czech National Authority Database. Retrieved . wikidata.org.
  11. [14] . Czech National Authority Database. Retrieved . wikidata.org.
  12. [15] . Czech National Authority Database. Retrieved . wikidata.org.
  13. [16] . Czech National Authority Database. Retrieved . wikidata.org.
  14. [5] . Czech National Authority Database. Retrieved . wikidata.org.
  15. [6] . Czech National Authority Database. Retrieved . wikidata.org.
  16. [7] . Czech National Authority Database. Retrieved . wikidata.org.
  17. [19] . Slovník českých filosofů. Retrieved . phil.muni.cz. Provenance: wikidata.org.
  18. [22] . Mathematics Genealogy Project. wikidata.org.
  19. [23] . Virtual International Authority File. Retrieved . wikidata.org.
  20. [24] . Virtual International Authority File. Retrieved . wikidata.org.
  21. [25] . wikidata.org.
  22. [3] . Czech National Authority Database. Retrieved . phil.muni.cz. Provenance: wikidata.org.
  23. [4] . Czech National Authority Database. Retrieved . phil.muni.cz. Provenance: wikidata.org.
  24. [26] . Czech National Authority Database. Retrieved . wikidata.org.
  25. [27] . wikidata.org.

Inline context (facts about related entities)

  1. [28] . Wikidata. wikidata.org. → on this site
  2. [29] . Wikidata. wikidata.org. → on this site
  3. [30] . Wikidata. wikidata.org. → on this site
  4. [31] . Wikidata. wikidata.org. → on this site
  5. [32] . Wikidata. wikidata.org. → on this site
  6. [33] . Wikidata. wikidata.org. → on this site
  7. [34] . Wikidata. wikidata.org. → on this site
  8. [35] . Wikidata. wikidata.org. → on this site
  9. [36] . Wikidata. wikidata.org. → on this site
  10. [37] . Wikidata. wikidata.org. → on this site
  11. [38] . Wikidata. wikidata.org. → on this site
  12. [39] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [8] . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Petr Jirků. Retrieved March 12, 2026, from https://4ort.xyz/entity/petr-jirku
MLA “Petr Jirků.” 4ort.xyz Knowledge Graph, 4ort.xyz, 12 Mar. 2026, https://4ort.xyz/entity/petr-jirku.
BibTeX @misc{4ortxyz_petr-jirku_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Petr Jirků}}, year = {2026}, url = {https://4ort.xyz/entity/petr-jirku}, note = {Accessed: 2026-03-12}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Petr Jirků — https://4ort.xyz/entity/petr-jirku (retrieved 2026-03-12)

Canonical URL: https://4ort.xyz/entity/petr-jirku · Last refreshed: