prof. RNDr. Jan Paseka, CSc.

2018

• A representation theorem for quantale valued sup-algebras

  PASEKA Jan ŠLESINGER Radek

  Article in Proceedings

  Proceedings of The International Symposium on Multiple-Valued Logic, 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, year: 2018

• Categoric simulation of production flows

  PASEKA Jan KRUML David

  Article in Proceedings

  Proceedings of the International Conference on Modeling and Applied Simulation 2018, year: 2018

• The Poset-based Logics for the De Morgan Negation and Set Representation of Partial Dynamic De Morgan Algebras

  PASEKA Jan CHAJDA Ivan

  Article in Periodical

  JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, year: 2018, volume: 31, edition: 3

• Uniquely Complemented Posets

  CHAJDA Ivan LÄNGER Helmut PASEKA Jan

  Article in Periodical

  ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, year: 2018, volume: 35, edition: 3, DOI

2017

• De Morgan Algebras with Tense Operators

  CHAJDA Ivan PASEKA Jan

  Article in Periodical

  JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, year: 2017, volume: 28, edition: 1

• Dynamic Logic Assigned to Automata

  CHAJDA Ivan PASEKA Jan

  Article in Periodical

  International Journal of Theoretical Physics, year: 2017, volume: 56, edition: 12, DOI

• Partial tense MV-algebras and related functions

  BOTUR Michal PASEKA Jan

  Article in Periodical

  Fuzzy Sets and Systems, year: 2017, volume: 326, edition: November, DOI

• The Groupoid-Based Logic for Lattice Effect Algebras

  CHAJDA Ivan LÄNGER Helmut PASEKA Jan

  Article in Proceedings

  2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), year: 2017

2016

• Categorical foundations of variety-based bornology

  PASEKA Jan SOLOVJOVS Sergejs

  Article in Periodical

  Fuzzy Sets and Systems, year: 2016, volume: 291, edition: May, DOI

• Galois connections and tense operators on q-effect algebras

  CHAJDA Ivan PASEKA Jan

  Article in Periodical

  Fuzzy Sets and Systems, year: 2016, volume: 298, edition: September, DOI