Zhang, Xia; Paseka, Jan; Ma, Wen On completions of posets with operators. (English) Zbl 1498.06005 J. Mult.-Val. Log. Soft Comput. 38, No. 1-2, 227-243 (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 06A11 03B60 06A15 06B23 18B40 PDFBibTeX XMLCite \textit{X. Zhang} et al., J. Mult.-Val. Log. Soft Comput. 38, No. 1--2, 227--243 (2022; Zbl 1498.06005) Full Text: Link
Chajda, Ivan; Länger, Helmut; Paseka, Jan The logic of lattice effect algebras based on induced groupoids. (English) Zbl 1452.03138 J. Mult.-Val. Log. Soft Comput. 33, No. 3, 161-175 (2019). MSC: 03G12 06C15 81P10 PDFBibTeX XMLCite \textit{I. Chajda} et al., J. Mult.-Val. Log. Soft Comput. 33, No. 3, 161--175 (2019; Zbl 1452.03138) Full Text: Link
Chajda, Ivan; Paseka, Jan The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras. (English) Zbl 1429.03073 J. Mult.-Val. Log. Soft Comput. 31, No. 3, 213-237 (2018). MSC: 03B44 03B50 03G20 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{J. Paseka}, J. Mult.-Val. Log. Soft Comput. 31, No. 3, 213--237 (2018; Zbl 1429.03073) Full Text: Link
Chajda, Ivan; Paseka, Jan De Morgan algebras with tense operators. (English) Zbl 1398.06008 J. Mult.-Val. Log. Soft Comput. 28, No. 1, 29-45 (2017). MSC: 06D30 03G10 03B44 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{J. Paseka}, J. Mult.-Val. Log. Soft Comput. 28, No. 1, 29--45 (2017; Zbl 1398.06008) Full Text: Link