Jan Paseka

Orcid: 0000-0001-6658-6647

Affiliations:
  • Masaryk University, Brno, Czech Republic


According to our database1, Jan Paseka authored at least 54 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Representability of Kleene Posets and Kleene Lattices.
Stud Logica, December, 2024

Relevance implication and orthomodular posets.
Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

2023
Reflectors to quantales.
Fuzzy Sets Syst., March, 2023

An algebraic analysis of implication in non-distributive logics.
J. Log. Comput., January, 2023

Kalmbach implication in orthomodular posets.
Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

2022
On Completions of Posets with Operators.
J. Multiple Valued Log. Soft Comput., 2022

Algebraic Properties of Paraorthomodular Posets.
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.
Fuzzy Sets Syst., 2022

Constructions of Kleene lattices.
Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

2021
Sectionally Pseudocomplemented Posets.
Order, 2021

Linear orthogonality spaces as a new approach to quantum logic.
Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

2020
Algebraic Aspects of Relatively Pseudocomplemented Posets.
Order, 2020

Sugeno Integral over Generalized Semi-quantales.
Proceedings of the Fuzzy Information Processing 2020, 2020

Fleischer po-semigroups and quantum B-algebras.
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

On ordinal sums of t-norms and t-conorms on bounded posets.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019
Evolution of objects and concepts.
Soft Comput., 2019

On the Coextension of Cut-Continuous Pomonoids.
Order, 2019

The Logic of Lattice Effect Algebras Based on Induced Groupoids.
J. Multiple Valued Log. Soft Comput., 2019

On injective constructions of <i>S</i>-semigroups.
Fuzzy Sets Syst., 2019

Nuclei and conuclei on Girard posets.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018
Uniquely Complemented Posets.
Order, 2018

The Poset-based Logics for the De Morgan Negation and Set Representation of Partial Dynamic De Morgan Algebras.
J. Multiple Valued Log. Soft Comput., 2018

Dynamic logic assigned to automata.
CoRR, 2018

A Representation Theorem for Quantale Valued sup-algebras.
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017
De Morgan Algebras with Tense Operators.
J. Multiple Valued Log. Soft Comput., 2017

Partial tense MV-algebras and related functions.
Fuzzy Sets Syst., 2017

The Groupoid-Based Logic for Lattice Effect Algebras.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

2016
On a topological universe of L-bornological spaces.
Soft Comput., 2016

Categorical foundations of variety-based bornology.
Fuzzy Sets Syst., 2016

Galois connections and tense operators on q-effect algebras.
Fuzzy Sets Syst., 2016

Set Representation of Partial Dynamic De Morgan Algebras.
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015
Lattice-valued bornological systems.
Fuzzy Sets Syst., 2015

Tense operators in fuzzy logic.
Fuzzy Sets Syst., 2015

On tense MV-algebras.
Fuzzy Sets Syst., 2015

2013
Musings about the Triple Representation Theorem for Effect Algebras.
Order, 2013

Operators on MV-algebras and their representations.
Fuzzy Sets Syst., 2013

Homogeneous orthocomplete effect algebras are covered by MV-algebras.
Fuzzy Sets Syst., 2013

An elementary proof of the completeness of the Lukasiewicz axioms.
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.
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.
Soft Comput., 2012

Dynamic effect algebras and their representations.
Soft Comput., 2012

Triple Representation Theorem for Homogeneous Effect Algebras.
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.
Soft Comput., 2011

State smearing theorems and the existence of states on some atomic lattice effect algebras.
J. Log. Comput., 2011

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

Quantum structures, states and related topics.
Kybernetika, 2010

2009
Atomicity of Lattice Effect Algebras and Their Sub-Lattice Effect Algebras.
Kybernetika, 2009

Isomorphism theorems on generalized effect algebras based on atoms.
Inf. Sci., 2009

Special issue - Quantum structures: Theory and applications.
Inf. Sci., 2009

2008
More on the Strength of Engeler's Lemma.
Order, 2008

2006
Rieffel induction and strong Morita equivalence in the context of Hilbert modules.
Soft Comput., 2006

The strength of Engeler's lemma.
Math. Struct. Comput. Sci., 2006

1999
Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality.
Proceedings of the Conference on Category Theory and Computer Science, 1999

1992
Products in the category of locales: which properties are preserved?
Discret. Math., 1992


  Loading...