prof. RNDr. Jan Paseka, CSc.

2024

• Aggregated evaluation of production flows in SMEs production systems

  FORMÁNEK Ivo KRUML David PASEKA Jan

  Article in Proceedings

  Proceedings of the 23nd International Conference on Modeling & Applied Simulation (MAS 2023), year: 2024

• Implication in Sharply Paraorthomodular and Relatively Paraorthomodular Posets

  CHAJDA Ivan FAZIO Davide LÄNGER Helmut LEDDA Antonio PASEKA Jan

  Chapter of a book

  Janusz Czelakowski on Logical Consequence, year: 2024, number of pages: 28 s.

• Kurt Gödel a Brno (3)

  RACLAVSKÝ Jiří PASEKA Jan DURNOVÁ Helena NOVOTNÝ Jan DUŠEK Jiří

  Popularization text

  Year: 2024, type: Popularization text

• Kurt Gödel Day 2024 (KGD2024) with Czech Gathering of Logicians 2024 (CGL2024)

  RACLAVSKÝ Jiří PASEKA Jan DURNOVÁ Helena MENŠÍK Josef DUŠEK Jiří EMIR Kadir

  Conference

  Year: 2024, type: Conference

• Relevance implication and orthomodular posets

  EMIR Kadir PASEKA Jan

  Article in Proceedings

  2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL), year: 2024

2023

• An algebraic analysis of implication in non-distributive logics

  CHAJDA Ivan EMIR Kadir FAZIO Davide LANGER Helmut LEDDA Antonio PASEKA Jan

  Article in Periodical

  Journal of logic and computation, year: 2023, volume: 33, edition: 1, DOI

• Finitary Prelinear and Linear Orthosets

  EMIR Kadir PASEKA Jan VETTERLEIN Thomas

  Article in Periodical

  International Journal of Theoretical Physics, year: 2023, volume: 62, edition: 6, DOI

• Kalmbach implication in orthomodular posets

  EMIR Kadir PASEKA Jan

  Article in Proceedings

  53rd International Symposium on Multiple-Valued Logic (ISMVL 2023), year: 2023

• Kurt Gödel a Brno (2)

  RACLAVSKÝ Jiří NOVOTNÝ Jan PASEKA Jan DUŠEK Jiří

  Popularization text

  Year: 2023, type: Popularization text

• Kurt na furt! (Sedmikrásky online | 114)

  RACLAVSKÝ Jiří PASEKA Jan DUŠEK Jiří

  Popularization text

  Year: 2023, type: Popularization text