We stand with Ukraine

We stand with Ukraine

Jan Paseka

Orcid: 0000-0001-6658-6647

Affiliations:

Masaryk University, Brno, Czech Republic

According to our database¹, Jan Paseka authored at least 60 papers between 1992 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2026

Unsharp residuation in posets.

[BibT_eX]

[DOI]

,

,

,

Gandolfo Vergottini

Fuzzy Sets Syst., 2026

2025

Tense logics based on posets.

[BibT_eX]

[DOI]

,

,

,

,

Gandolfo Vergottini

J. Log. Comput., 2025

Many-valued aspects of tense and related operators.

[BibT_eX]

[DOI]

,

,

Fuzzy Sets Syst., 2025

Foulis m-semilattices and their modules.

[BibT_eX]

[DOI]

,

,

Proceedings of the 55th IEEE International Symposium on Multiple-Valued Logic, 2025

Foulis Quantales and Complete Orthomodular Lattices.

[BibT_eX]

[DOI]

,

,

Proceedings of the Advances in Fuzzy Logic and Technology, 2025

2024

Representability of Kleene Posets and Kleene Lattices.

[BibT_eX]

[DOI]

,

,

Stud Logica, December, 2024

Relevance implication and orthomodular posets.

[BibT_eX]

[DOI]

,

Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

2023

Reflectors to quantales.

[BibT_eX]

[DOI]

,

,

,

Fuzzy Sets Syst., March, 2023

An algebraic analysis of implication in non-distributive logics.

[BibT_eX]

[DOI]

,

,

,

,

,

J. Log. Comput., January, 2023

Kalmbach implication in orthomodular posets.

[BibT_eX]

[DOI]

,

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

2022

On Completions of Posets with Operators.

[BibT_eX]

[DOI]

,

,

J. Multiple Valued Log. Soft Comput., 2022

Algebraic Properties of Paraorthomodular Posets.

[BibT_eX]

[DOI]

,

,

,

,

Log. J. IGPL, 2022

On ordinal sums of partially ordered monoids: A unified approach to ordinal sum constructions of t-norms, t-conorms and uninorms.

[BibT_eX]

[DOI]

Antonín Dvorák

,

Michal Holcapek

,

Fuzzy Sets Syst., 2022

Constructions of Kleene lattices.

[BibT_eX]

[DOI]

,

,

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

2021

Sectionally Pseudocomplemented Posets.

[BibT_eX]

[DOI]

,

,

Order, 2021

Linear orthogonality spaces as a new approach to quantum logic.

[BibT_eX]

[DOI]

,

,

,

Thomas Vetterlein

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

Quantile Based Summation of Random Variables.

[BibT_eX]

[DOI]

,

,

,

Iveta Selingerová

Proceedings of the Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), 2021

2020

Algebraic Aspects of Relatively Pseudocomplemented Posets.

[BibT_eX]

[DOI]

,

,

Order, 2020

Sugeno Integral over Generalized Semi-quantales.

[BibT_eX]

[DOI]

,

Sergejs Solovjovs

,

Proceedings of the Fuzzy Information Processing 2020, 2020

Fleischer po-semigroups and quantum B-algebras.

[BibT_eX]

[DOI]

,

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

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

[BibT_eX]

[DOI]

Antonín Dvorák

,

Michal Holcapek

,

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

Evolution of objects and concepts.

[BibT_eX]

[DOI]

,

Miroslav Kolarík

,

Soft Comput., 2019

On the Coextension of Cut-Continuous Pomonoids.

[BibT_eX]

[DOI]

,

,

Thomas Vetterlein

Order, 2019

The Logic of Lattice Effect Algebras Based on Induced Groupoids.

[BibT_eX]

[DOI]

,

,

J. Multiple Valued Log. Soft Comput., 2019

On injective constructions of <i>S</i>-semigroups.

[BibT_eX]

[DOI]

,

Fuzzy Sets Syst., 2019

Nuclei and conuclei on Girard posets.

[BibT_eX]

[DOI]

,

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018

Uniquely Complemented Posets.

[BibT_eX]

[DOI]

,

,

Order, 2018

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

[BibT_eX]

[DOI]

,

J. Multiple Valued Log. Soft Comput., 2018

Dynamic logic assigned to automata.

[BibT_eX]

[DOI]

,

CoRR, 2018

A Representation Theorem for Quantale Valued sup-algebras.

[BibT_eX]

[DOI]

,

Radek Slesinger

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017

De Morgan Algebras with Tense Operators.

[BibT_eX]

[DOI]

,

J. Multiple Valued Log. Soft Comput., 2017

Partial tense MV-algebras and related functions.

[BibT_eX]

[DOI]

,

Fuzzy Sets Syst., 2017

The Groupoid-Based Logic for Lattice Effect Algebras.

[BibT_eX]

[DOI]

,

,

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

2016

On a topological universe of L-bornological spaces.

[BibT_eX]

[DOI]

,

Sergey A. Solovyov

,

Soft Comput., 2016

Categorical foundations of variety-based bornology.

[BibT_eX]

[DOI]

,

Sergey A. Solovyov

Fuzzy Sets Syst., 2016

Galois connections and tense operators on q-effect algebras.

[BibT_eX]

[DOI]

,

Fuzzy Sets Syst., 2016

Set Representation of Partial Dynamic De Morgan Algebras.

[BibT_eX]

[DOI]

,

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015

Lattice-valued bornological systems.

[BibT_eX]

[DOI]

,

Sergey A. Solovyov

,

Fuzzy Sets Syst., 2015

Tense operators in fuzzy logic.

[BibT_eX]

[DOI]

,

Fuzzy Sets Syst., 2015

On tense MV-algebras.

[BibT_eX]

[DOI]

,

Fuzzy Sets Syst., 2015

2013

Musings about the Triple Representation Theorem for Effect Algebras.

[BibT_eX]

[DOI]

,

Order, 2013

Operators on MV-algebras and their representations.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2013

Homogeneous orthocomplete effect algebras are covered by MV-algebras.

[BibT_eX]

[DOI]

,

Fuzzy Sets Syst., 2013

An elementary proof of the completeness of the Lukasiewicz axioms.

[BibT_eX]

[DOI]

,

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Tense Operators and Dynamic De Morgan Algebras.

[BibT_eX]

[DOI]

,

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

2012

More about sharp and meager elements in Archimedean atomic lattice effect algebras.

[BibT_eX]

[DOI]

,

Soft Comput., 2012

Dynamic effect algebras and their representations.

[BibT_eX]

[DOI]

,

Soft Comput., 2012

Triple Representation Theorem for Homogeneous Effect Algebras.

[BibT_eX]

[DOI]

,

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

2011

The inheritance of BDE-property in sharply dominating lattice effect algebras and (<i>o</i>)-continuous states.

[BibT_eX]

[DOI]

,

Zdenka Riecanová

Soft Comput., 2011

State smearing theorems and the existence of states on some atomic lattice effect algebras.

[BibT_eX]

[DOI]

Zdenka Riecanová

,

J. Log. Comput., 2011

2010

Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras.

[BibT_eX]

[DOI]

,

Zdenka Riecanová

,

Kybernetika, 2010

Quantum structures, states and related topics.

[BibT_eX]

[DOI]

,

Olga Nánásiová

,

,

Zdenka Riecanová

Kybernetika, 2010

2009

Atomicity of Lattice Effect Algebras and Their Sub-Lattice Effect Algebras.

[BibT_eX]

[DOI]

,

Zdenka Riecanová

Kybernetika, 2009

Isomorphism theorems on generalized effect algebras based on atoms.

[BibT_eX]

[DOI]

,

Zdenka Riecanová

Inf. Sci., 2009

Special issue - Quantum structures: Theory and applications.

[BibT_eX]

[DOI]

,

Olga Nánásiová

,

Zdenka Riecanová

,

Inf. Sci., 2009

2008

More on the Strength of Engeler's Lemma.

[BibT_eX]

[DOI]

Order, 2008

2006

Rieffel induction and strong Morita equivalence in the context of Hilbert modules.

[BibT_eX]

[DOI]

Soft Comput., 2006

The strength of Engeler's lemma.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

1999

Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality.

[BibT_eX]

[DOI]

Proceedings of the Conference on Category Theory and Computer Science, 1999

1992

Products in the category of locales: which properties are preserved?

[BibT_eX]

[DOI]

Discret. Math., 1992

Loading...