Ivan Chajda - RankMe

96 papers Journal 92Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Unsharp residuation in posets. Fuzzy Sets Syst. Ivan Chajda, Antonio Ledda, Jan Paseka, Gandolfo Vergottini
2025	J	`jnl`	Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension. Stud Logica Ivan Chajda, Helmut Länger
2025	J	`jnl`	Algebraic structures formalizing the logic with unsharp implication and negation. Log. J. IGPL Ivan Chajda, Helmut Länger
2025	J	`jnl`	Filters and ideals in pseudocomplemented posets. Soft Comput. Ivan Chajda, Helmut Länger
2025	J	`jnl`	Induced Orthogonality in Semilattices with 0 and in Pseudocomplemented Lattices and Posets. Order Ivan Chajda, Miroslav Kolarík, Helmut Länger
2025	J	`jnl`	Operators on complemented lattices. Soft Comput. Ivan Chajda, Helmut Länger
2025	J	`jnl`	Representations of regular double Stone algebras: theory and applications. Log. J. IGPL Ivan Chajda, Antonio Ledda, Gandolfo Vergottini
2025	J	`jnl`	Tense logics based on posets. J. Log. Comput. Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini
2025	J	`jnl`	The variety of complemented lattices where conjunction and implication form an adjoint pair. J. Log. Comput. Václav Cenker, Ivan Chajda, Helmut Länger
2024	J	`jnl`	Representability of Kleene Posets and Kleene Lattices. Stud Logica Ivan Chajda, Helmut Länger, Jan Paseka
2023	J	`jnl`	An algebraic analysis of implication in non-distributive logics. J. Log. Comput. Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
2023	J	`jnl`	Operator residuation in orthomodular posets of finite height. Fuzzy Sets Syst. Ivan Chajda, Helmut Länger
2023	J	`jnl`	Orthomodular and Skew Orthomodular Posets. Symmetry Ivan Chajda, Miroslav Kolarík, Helmut Länger
2022	J	`jnl`	Algebraic Properties of Paraorthomodular Posets. Log. J. IGPL Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
2022	—	`conf`	Constructions of Kleene lattices. ISMVL Ivan Chajda, Helmut Länger, Jan Paseka
2022	J	`jnl`	Implication in finite posets with pseudocomplemented sections. Soft Comput. Ivan Chajda, Helmut Länger
2022	J	`jnl`	Inexact Residuation in Effect Algebras. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Helmut Länger
2022	J	`jnl`	Semimodular λ-lattices. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Helmut Länger
2022	J	`jnl`	Sheffer operation in relational systems. Soft Comput. Ivan Chajda, Helmut Länger
2022	J	`jnl`	The logic of orthomodular posets of finite height. Log. J. IGPL Ivan Chajda, Helmut Länger
2021	J	`jnl`	Adjoint Operations in Twist-Products of Lattices. Symmetry Ivan Chajda, Helmut Länger
2021	J	`jnl`	Algebras Describing Pseudocomplemented, Relatively Pseudocomplemented and Sectionally Pseudocomplemented Posets. Symmetry Ivan Chajda, Helmut Länger
2021	J	`jnl`	Consistent posets. Soft Comput. Ivan Chajda, Helmut Länger
2021	J	`jnl`	Extensions of posets with an antitone involution to residuated structures. Fuzzy Sets Syst. Ivan Chajda, Miroslav Kolarík, Helmut Länger
2021	J	`jnl`	Filters and congruences in sectionally pseudocomplemented lattices and posets. Soft Comput. Ivan Chajda, Helmut Länger
2021	J	`jnl`	Sectionally Pseudocomplemented Posets. Order Ivan Chajda, Helmut Länger, Jan Paseka
2020	J	`jnl`	Algebraic Aspects of Relatively Pseudocomplemented Posets. Order Ivan Chajda, Helmut Länger, Jan Paseka
2020	J	`jnl`	Left residuated lattices induced by lattices with a unary operation. Soft Comput. Ivan Chajda, Helmut Länger
2020	J	`jnl`	On residuation in paraorthomodular lattices. Soft Comput. Ivan Chajda, Davide Fazio
2020	J	`jnl`	On the decomposability of aggregation functions on direct products of posets. Fuzzy Sets Syst. Ivan Chajda, Radomír Halas, Radko Mesiar
2020	J	`jnl`	Residuation in lattice effect algebras. Fuzzy Sets Syst. Ivan Chajda, Helmut Länger
2020	J	`jnl`	Sublattices and Δ-blocks of orthomodular posets. J. Log. Comput. Ivan Chajda, Helmut Länger
2020	J	`jnl`	The generalized orthomodularity property: configurations and pastings. J. Log. Comput. Ivan Chajda, Davide Fazio, Antonio Ledda
2020	J	`jnl`	The logic induced by effect algebras. Soft Comput. Ivan Chajda, Radomír Halas, Helmut Länger
2019	J	`jnl`	A semiring-like representation of lattice pseudoeffect algebras. Soft Comput. Ivan Chajda, Davide Fazio, Antonio Ledda
2019	J	`jnl`	Evolution of objects and concepts. Soft Comput. Ivan Chajda, Miroslav Kolarík, Jan Paseka
2019	J	`jnl`	Ideals and their complements in commutative semirings. Soft Comput. Ivan Chajda, Helmut Länger
2019	J	`jnl`	Left residuated operators induced by posets with a unary operation. Soft Comput. Ivan Chajda, Helmut Länger
2019	J	`jnl`	Operations and structures derived from non-associative MV-algebras. Soft Comput. Ivan Chajda, Radomír Halas, Helmut Länger
2019	J	`jnl`	The Logic of Lattice Effect Algebras Based on Induced Groupoids. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Helmut Länger, Jan Paseka
2019	J	`jnl`	The lattice of subspaces of a vector space over a finite field. Soft Comput. Ivan Chajda, Helmut Länger
2018	J	`jnl`	A representation of residuated lattices satisfying the double negation law. Soft Comput. Ivan Chajda
2018	J	`jnl`	Dynamic logic assigned to automata. CoRR Ivan Chajda, Jan Paseka
2018	J	`jnl`	On the structure theory of Łukasiewicz near semirings. Log. J. IGPL Ivan Chajda, Davide Fazio, Antonio Ledda
2018	J	`jnl`	Reduced axioms for the propositional logics induced by basic algebras. Soft Comput. Ivan Chajda, Miroslav Kolarík
2018	J	`jnl`	The Poset-based Logics for the De Morgan Negation and Set Representation of Partial Dynamic De Morgan Algebras. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Jan Paseka
2018	J	`jnl`	Uniquely Complemented Posets. Order Ivan Chajda, Helmut Länger, Jan Paseka
2018	J	`jnl`	Weakly Orthomodular and Dually Weakly Orthomodular Lattices. Order Ivan Chajda, Helmut Länger
2018	J	`jnl`	When does a generalized Boolean quasiring become a Boolean ring? Soft Comput. Ivan Chajda, Helmut Länger
2017	J	`jnl`	Convex congruences. Soft Comput. Ivan Chajda, Helmut Länger
2017	J	`jnl`	Coupled Right Orthosemirings Induced by Orthomodular Lattices. Order Ivan Chajda, Helmut Länger
2017	J	`jnl`	De Morgan Algebras with Tense Operators. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Jan Paseka
2017	J	`jnl`	On the Structure of Pseudo-BCK Algebras. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Helmut Länger
2017	—	`conf`	The Groupoid-Based Logic for Lattice Effect Algebras. ISMVL Ivan Chajda, Helmut Länger, Jan Paseka
2016	J	`jnl`	Galois connections and tense operators on q-effect algebras. Fuzzy Sets Syst. Ivan Chajda, Jan Paseka
2016	J	`jnl`	General coupled semirings of residuated lattices. Fuzzy Sets Syst. Ivan Chajda, Helmut Länger
2016	J	`jnl`	Involutive right-residuated l-groupoids. Soft Comput. Ivan Chajda, Sándor Radeleczki
2016	J	`jnl`	On congruences of weak lattices. Soft Comput. Ivan Chajda, Helmut Länger
2016	J	`jnl`	Orthogonal relational systems. Soft Comput. Stefano Bonzio, Ivan Chajda, Antonio Ledda
2016	J	`jnl`	Representing quantum structures as near semirings. Log. J. IGPL Stefano Bonzio, Ivan Chajda, Antonio Ledda
2016	—	`conf`	Set Representation of Partial Dynamic De Morgan Algebras. ISMVL Ivan Chajda, Jan Paseka
2015	J	`jnl`	Commutative basic algebras and coupled near semirings. Soft Comput. Ivan Chajda, Helmut Länger
2015	J	`jnl`	On some properties of directoids. Soft Comput. Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli
2015	J	`jnl`	On varieties of basic algebras. Soft Comput. Ivan Chajda, Radomír Halas
2015	J	`jnl`	Tense operators in fuzzy logic. Fuzzy Sets Syst. Ivan Chajda, Jan Paseka
2014	J	`jnl`	An algebraic axiomatization of orthogonal posets. Soft Comput. Ivan Chajda
2014	J	`jnl`	Every Skew Effect Algebra can be Extended into a Total Algebra. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Miroslav Kolarík
2014	J	`jnl`	Filters of implication reducts of basic algebras. Soft Comput. Ivan Chajda
2013	J	`jnl`	A congruence modular variety that is neither congruence distributive nor 3-permutable. Soft Comput. Ivan Chajda
2013	J	`jnl`	Ideals and congruences of basic algebras. Soft Comput. Ivan Chajda, Jan Kühr
2013	J	`jnl`	Pseudo Basic Algebras. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Miroslav Kolarík, Jan Krnávek
2013	J	`jnl`	Skew residuated lattices. Fuzzy Sets Syst. Ivan Chajda, Jan Krnávek
2013	—	`conf`	Tense Operators and Dynamic De Morgan Algebras. ISMVL Ivan Chajda, Jan Paseka
2012	J	`jnl`	A non-associative generalization of effect algebras. Soft Comput. Ivan Chajda, Helmut Länger
2012	J	`jnl`	Dynamic effect algebras and their representations. Soft Comput. Ivan Chajda, Jan Paseka
2012	J	`jnl`	Symmetric Differences on Posets with an Antitone Involution. Order Ivan Chajda, Helmut Länger
2012	J	`jnl`	The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras. Inf. Sci. Ivan Chajda, Radomír Halas
2012	J	`jnl`	Very true operators in effect algebras. Soft Comput. Ivan Chajda, Miroslav Kolarík
2011	J	`jnl`	BCK-Algebras and Related Algebraic Systems. Int. J. Math. Math. Sci. Young Bae Jun, Ivan Chajda, Hee Sik Kim, Eun Hwan Roh, Jianming Zhan, Afrodita Iorgulescu
2011	J	`jnl`	Completeness of Order Algebras? J. Multiple Valued Log. Soft Comput. Ivan Chajda, Radomír Halas, Hajime Machida
2011	J	`jnl`	Effect algebras are conditionally residuated structures. Soft Comput. Ivan Chajda, Radomír Halas
2011	J	`jnl`	Hedges and successors in basic algebras. Soft Comput. Ivan Chajda
2011	J	`jnl`	On Double Basic Algebras and Pseudo-effect Algebras. Order Ivan Chajda, Miroslav Kolarík, Jan Kühr
2011	J	`jnl`	Polynomial permutations on bounded commutative directoids with an antitone involution. Soft Comput. Ivan Chajda, Miroslav Kolarík, Helmut Länger
2010	J	`jnl`	Are basic algebras residuated structures? Soft Comput. Michal Botur, Ivan Chajda, Radomír Halas
2010	J	`jnl`	On the role of logical connectives for primality and functional completeness of algebras of logics. Inf. Sci. Ivan Chajda, Radek Halas, Ivo G. Rosenberg
2009	J	`jnl`	A note on intervals of residuated Fuzzy Sets Syst. Ivan Chajda, Jan Kühr
2009	J	`jnl`	Double Basic Algebras. Order Ivan Chajda
2009	J	`jnl`	Functional Completeness of Weak Logics with the Strict Negation? J. Multiple Valued Log. Soft Comput. Ivan Chajda, Radomír Halas
2009	J	`jnl`	Independence of axiom system of basic algebras. Soft Comput. Ivan Chajda, Miroslav Kolarík
2008	J	`jnl`	Congruence kernels of orthomodular implication algebras. Discret. Math. Ivan Chajda, Radomír Halas, Helmut Länger
2008	J	`jnl`	Nearlattices. Discret. Math. Ivan Chajda, Miroslav Kolarík
2007	J	`jnl`	Constructions on P-Choice Algebras. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Shelly L. Wismath
2007	J	`jnl`	Orthomodular semilattices. Discret. Math. Ivan Chajda
2004	J	`jnl`	Abbott Groupoids. J. Multiple Valued Log. Soft Comput. Ivan Chajda, Radomír Halas
2000	J	`jnl`	Duality of Normally Presented Varieties. Int. J. Algebra Comput. Ivan Chajda, Radek Halas, Alexander Georgievich Pinus, Ivo G. Rosenberg