Chajda, Ivan; Länger, Helmut Implications in pseudocomplemented and Stone lattices. arXiv:2401.05541 Preprint, arXiv:2401.05541 [math.LO] (2024). MSC: 06D15 06D20 03B22 03B60 BibTeX Cite \textit{I. Chajda} and \textit{H. Länger}, ``Implications in pseudocomplemented and Stone lattices'', Preprint, arXiv:2401.05541 [math.LO] (2024) Full Text: arXiv OA License
Chajda, Ivan; Länger, Helmut Properties and special filters of pseudocomplemented posets. arXiv:2312.04685 Preprint, arXiv:2312.04685 [math.RA] (2023). MSC: 06A11 06A15 06D15 BibTeX Cite \textit{I. Chajda} and \textit{H. Länger}, ``Properties and special filters of pseudocomplemented posets'', Preprint, arXiv:2312.04685 [math.RA] (2023) Full Text: arXiv OA License
Chajda, Ivan; Länger, Helmut The intuitionistic-like logic based on a poset. arXiv:2308.11350 Preprint, arXiv:2308.11350 [math.LO] (2023). MSC: 06A11 06D15 06D20 03G25 03B22 BibTeX Cite \textit{I. Chajda} and \textit{H. Länger}, ``The intuitionistic-like logic based on a poset'', Preprint, arXiv:2308.11350 [math.LO] (2023) Full Text: arXiv OA License
Chajda, Ivan; Kolařík, Miroslav; Länger, Helmut Special filters in bounded lattices. arXiv:2306.09958 Preprint, arXiv:2306.09958 [math.RA] (2023). MSC: 06B05 06B10 06D15 06D20 BibTeX Cite \textit{I. Chajda} et al., ``Special filters in bounded lattices'', Preprint, arXiv:2306.09958 [math.RA] (2023) Full Text: arXiv OA License
Chajda, Ivan; Länger, Helmut Join-semilattices whose principal filters are pseudocomplemented lattices. (English) Zbl 1513.06004 Miskolc Math. Notes 23, No. 2, 559-577 (2022). MSC: 06A12 06D15 03G25 03B47 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Miskolc Math. Notes 23, No. 2, 559--577 (2022; Zbl 1513.06004) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut Filters and ideals in pseudocomplemented posets. arXiv:2202.03166 Preprint, arXiv:2202.03166 [math.RA] (2022). MSC: 06A11 06D15 BibTeX Cite \textit{I. Chajda} and \textit{H. Länger}, ``Filters and ideals in pseudocomplemented posets'', Preprint, arXiv:2202.03166 [math.RA] (2022) Full Text: arXiv OA License
Chajda, Ivan; Länger, Helmut Filters and congruences in sectionally pseudocomplemented lattices and posets. (English) Zbl 1498.06020 Soft Comput. 25, No. 14, 8827-8837 (2021). MSC: 06D15 06A06 06A11 06B10 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Soft Comput. 25, No. 14, 8827--8837 (2021; Zbl 1498.06020) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut Residuation in finite posets. (English) Zbl 07438422 Math. Slovaca 71, No. 4, 807-820 (2021). MSC: 06A11 06C15 06D15 03G25 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Math. Slovaca 71, No. 4, 807--820 (2021; Zbl 07438422) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut; Paseka, Jan Sectionally pseudocomplemented posets. (English) Zbl 1490.06001 Order 38, No. 3, 527-546 (2021). Reviewer: Sergejs Solovjovs (Praha) MSC: 06A06 06B20 06B23 06D15 PDFBibTeX XMLCite \textit{I. Chajda} et al., Order 38, No. 3, 527--546 (2021; Zbl 1490.06001) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut; Paseka, Jan Residuated operators and Dedekind-MacNeille completion. (English) Zbl 1500.06003 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 57-72 (2021). Reviewer: Sergejs Solovjovs (Praha) MSC: 06B23 06A11 06C15 06D15 06E75 PDFBibTeX XMLCite \textit{I. Chajda} et al., Trends Log. Stud. Log. Libr. 55, 57--72 (2021; Zbl 1500.06003) Full Text: DOI arXiv
Chajda, Ivan; Laenger, Helmut; Paseka, Jan Constructions of Kleene lattices. arXiv:2111.00455 Preprint, arXiv:2111.00455 [math.LO] (2021). MSC: 06A11 06D15 03B52 03G10 03B60 BibTeX Cite \textit{I. Chajda} et al., ``Constructions of Kleene lattices'', Preprint, arXiv:2111.00455 [math.LO] (2021) Full Text: arXiv OA License
Chajda, Ivan; Länger, Helmut Implication in finite posets with pseudocomplemented sections. arXiv:2108.09548 Preprint, arXiv:2108.09548 [math.LO] (2021). MSC: 06A11 06D15 03B52 03G10 03B60 BibTeX Cite \textit{I. Chajda} and \textit{H. Länger}, ``Implication in finite posets with pseudocomplemented sections'', Preprint, arXiv:2108.09548 [math.LO] (2021) Full Text: arXiv OA License
Chajda, Ivan; Länger, Helmut Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets. arXiv:2103.12582 Preprint, arXiv:2103.12582 [math.RA] (2021). MSC: 06A11 06D15 08A62 08B05 BibTeX Cite \textit{I. Chajda} and \textit{H. Länger}, ``Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets'', Preprint, arXiv:2103.12582 [math.RA] (2021) Full Text: arXiv OA License
Chajda, Ivan; Kühr, Jan; Länger, Helmut Relatively residuated lattices and posets. (English) Zbl 1505.06005 Math. Slovaca 70, No. 2, 239-250 (2020). MSC: 06B05 06A06 06D15 PDFBibTeX XMLCite \textit{I. Chajda} et al., Math. Slovaca 70, No. 2, 239--250 (2020; Zbl 1505.06005) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut; Paseka, Jan Algebraic aspects of relatively pseudocomplemented posets. (English) Zbl 1481.06020 Order 37, No. 1, 1-29 (2020). MSC: 06A11 06D15 PDFBibTeX XMLCite \textit{I. Chajda} et al., Order 37, No. 1, 1--29 (2020; Zbl 1481.06020) Full Text: DOI
Chajda, Ivan; Länger, Helmut Residuated operators in complemented posets. (English) Zbl 1491.06005 Asian-Eur. J. Math. 11, No. 6, Article ID 1850097, 15 p. (2018). MSC: 06A11 06C15 06D15 03G25 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Asian-Eur. J. Math. 11, No. 6, Article ID 1850097, 15 p. (2018; Zbl 1491.06005) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut; Paseka, Jan Uniquely complemented posets. (English) Zbl 1400.06001 Order 35, No. 3, 421-431 (2018). Reviewer: Keith Kearnes (Boulder) MSC: 06A06 06C15 06C20 06D15 PDFBibTeX XMLCite \textit{I. Chajda} et al., Order 35, No. 3, 421--431 (2018; Zbl 1400.06001) Full Text: DOI
Chajda, Ivan; Länger, Helmut Relatively pseudocomplemented posets. (English) Zbl 1463.06006 Math. Bohem. 143, No. 1, 89-97 (2018). MSC: 06A11 06A06 06D15 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Math. Bohem. 143, No. 1, 89--97 (2018; Zbl 1463.06006) Full Text: DOI
Chajda, I.; Halaš, R.; Länger, H. Congruence kernels of orthoimplication algebras. (English) Zbl 1164.06005 Acta Math. Univ. Comen., New Ser. 76, No. 2, 231-240 (2007). Reviewer: Sylvia Pulmannová (Bratislava) MSC: 06C15 06B10 06D15 PDFBibTeX XMLCite \textit{I. Chajda} et al., Acta Math. Univ. Comen., New Ser. 76, No. 2, 231--240 (2007; Zbl 1164.06005) Full Text: EuDML