2021

• Kurt Gödel Day 2021 (KGD2021) with Czech Gathering of Logicians 2021 (CGL2021)

  RACLAVSKÝ Jiří DURNOVÁ Helena NOVOTNÝ Jan ŠVANDOVÁ Blažena PASEKA Jan DUŠEK Jiří PAVLÍK Jan

  Uspořádání konference

  Rok: 2021, druh: Uspořádání konference

• Linear orthogonality spaces as a new approach to quantum logic

  EMIR Kadir KRUML David PASEKA Jan VETTERLEIN Thomas

  Článek ve sborníku

  2021 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021), rok: 2021

• Residuated Operators and Dedekind–MacNeille Completion

  CHAJDA Ivan LÄNGER Helmut PASEKA Jan

  Kapitola v knize

  Algebraic Perspectives on Substructural Logics, rok: 2021, počet stran: 16 s.

• Sectionally Pseudocomplemented Posets

  CHAJDA Ivan LÄNGER Helmut PASEKA Jan

  Článek v odborném periodiku

  Order, rok: 2021, DOI

• The MacNeille Completions for Residuated S-Posets

  ZHANG Xia PASEKA Jan

  Článek v odborném periodiku

  International Journal of Theoretical Physics, rok: 2021, ročník: 60, vydání: 2, DOI

2020

• Algebraic Aspects of Relatively Pseudocomplemented Posets

  CHAJDA Ivan LANGER Helmut PASEKA Jan

  Článek v odborném periodiku

  Order-A Journal on the Theory of Ordered Sets and its Applications, rok: 2020, ročník: 37, vydání: 1, DOI

• Fleischer po-semigroups and quantum B-algebras

  KÜHR Jan PASEKA Jan

  Článek ve sborníku

  2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), rok: 2020

• On ordinal sums of t-norms and t-conorms on bounded posets

  DVOŘÁK Antonín HOLČAPEK Michal PASEKA Jan

  Článek ve sborníku

  2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), rok: 2020

2019

• A simplified probabilistic validation of production flows

  EMIR Kadir KRUML David PASEKA Jan SELINGEROVÁ Iveta

  Článek ve sborníku

  Proceedings of 18th International Conference on Modeling and Applied Simulation, rok: 2019

• Evolution of objects and concepts

  CHAJDA Ivan KOLARIK Miroslav PASEKA Jan

  Článek v odborném periodiku

  Soft computing, rok: 2019, ročník: 23, vydání: 19, DOI