Ivan Chajda

Fuzzy Sets Syst., September, 2023

Orthomodular and Skew Orthomodular Posets.

[BibT_eX]

[DOI]

Symmetry, March, 2023

An algebraic analysis of implication in non-distributive logics.

[BibT_eX]

[DOI]

J. Log. Comput., January, 2023

2022

Implication in finite posets with pseudocomplemented sections.

[BibT_eX]

[DOI]

Soft Comput., 2022

Sheffer operation in relational systems.

[BibT_eX]

[DOI]

Soft Comput., 2022

Semimodular λ-lattices.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2022

Inexact Residuation in Effect Algebras.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2022

The logic of orthomodular posets of finite height.

[BibT_eX]

[DOI]

Log. J. IGPL, 2022

Algebraic Properties of Paraorthomodular Posets.

[BibT_eX]

[DOI]

Log. J. IGPL, 2022

Constructions of Kleene lattices.

[BibT_eX]

[DOI]

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

2021

Algebras Describing Pseudocomplemented, Relatively Pseudocomplemented and Sectionally Pseudocomplemented Posets.

[BibT_eX]

[DOI]

Symmetry, 2021

Adjoint Operations in Twist-Products of Lattices.

[BibT_eX]

[DOI]

Symmetry, 2021

Consistent posets.

[BibT_eX]

[DOI]

Soft Comput., 2021

Filters and congruences in sectionally pseudocomplemented lattices and posets.

[BibT_eX]

[DOI]

Soft Comput., 2021

Sectionally Pseudocomplemented Posets.

[BibT_eX]

[DOI]

Order, 2021

Extensions of posets with an antitone involution to residuated structures.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2021

2020

Left residuated lattices induced by lattices with a unary operation.

[BibT_eX]

[DOI]

Soft Comput., 2020

The logic induced by effect algebras.

[BibT_eX]

[DOI]

Soft Comput., 2020

On residuation in paraorthomodular lattices.

[BibT_eX]

[DOI]

Soft Comput., 2020

Algebraic Aspects of Relatively Pseudocomplemented Posets.

[BibT_eX]

[DOI]

Order, 2020

Sublattices and Δ-blocks of orthomodular posets.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

The generalized orthomodularity property: configurations and pastings.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Residuation in lattice effect algebras.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2020

On the decomposability of aggregation functions on direct products of posets.

[BibT_eX]

[DOI]

Radko Mesiar

Fuzzy Sets Syst., 2020

2019

Left residuated operators induced by posets with a unary operation.

[BibT_eX]

[DOI]

Soft Comput., 2019

Ideals and their complements in commutative semirings.

[BibT_eX]

[DOI]

Soft Comput., 2019

The lattice of subspaces of a vector space over a finite field.

[BibT_eX]

[DOI]

Soft Comput., 2019

Evolution of objects and concepts.

[BibT_eX]

[DOI]

Soft Comput., 2019

Operations and structures derived from non-associative MV-algebras.

[BibT_eX]

[DOI]

Soft Comput., 2019

A semiring-like representation of lattice pseudoeffect algebras.

[BibT_eX]

[DOI]

Soft Comput., 2019

The Logic of Lattice Effect Algebras Based on Induced Groupoids.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2019

2018

When does a generalized Boolean quasiring become a Boolean ring?

[BibT_eX]

[DOI]

Soft Comput., 2018

Reduced axioms for the propositional logics induced by basic algebras.

[BibT_eX]

[DOI]

Soft Comput., 2018

A representation of residuated lattices satisfying the double negation law.

[BibT_eX]

[DOI]

Soft Comput., 2018

Uniquely Complemented Posets.

[BibT_eX]

[DOI]

Order, 2018

Weakly Orthomodular and Dually Weakly Orthomodular Lattices.

[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

On the structure theory of Łukasiewicz near semirings.

[BibT_eX]

[DOI]

Log. J. IGPL, 2018

Dynamic logic assigned to automata.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Convex congruences.

[BibT_eX]

[DOI]

Soft Comput., 2017

Coupled Right Orthosemirings Induced by Orthomodular Lattices.

[BibT_eX]

[DOI]

Order, 2017

De Morgan Algebras with Tense Operators.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2017

On the Structure of Pseudo-BCK Algebras.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 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

Involutive right-residuated l-groupoids.

[BibT_eX]

[DOI]

Sándor Radeleczki

Soft Comput., 2016

On congruences of weak lattices.

[BibT_eX]

[DOI]

Soft Comput., 2016

Orthogonal relational systems.

[BibT_eX]

[DOI]

Stefano Bonzio

Soft Comput., 2016

Representing quantum structures as near semirings.

[BibT_eX]

[DOI]

Stefano Bonzio

Log. J. IGPL, 2016

Galois connections and tense operators on q-effect algebras.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

General coupled semirings of residuated lattices.

[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

Commutative basic algebras and coupled near semirings.

[BibT_eX]

[DOI]

Soft Comput., 2015

On varieties of basic algebras.

[BibT_eX]

[DOI]

Soft Comput., 2015

On some properties of directoids.

[BibT_eX]

[DOI]

Soft Comput., 2015

Tense operators in fuzzy logic.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2015

2014

Filters of implication reducts of basic algebras.

[BibT_eX]

[DOI]

Soft Comput., 2014

An algebraic axiomatization of orthogonal posets.

[BibT_eX]

[DOI]

Soft Comput., 2014

Every Skew Effect Algebra can be Extended into a Total Algebra.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2014

2013

Ideals and congruences of basic algebras.

[BibT_eX]

[DOI]

Jan Kühr

Soft Comput., 2013

A congruence modular variety that is neither congruence distributive nor 3-permutable.

[BibT_eX]

[DOI]

Soft Comput., 2013

Pseudo Basic Algebras.

[BibT_eX]

[DOI]

Jan Krnávek

J. Multiple Valued Log. Soft Comput., 2013

Skew residuated lattices.

[BibT_eX]

[DOI]

Jan Krnávek

Fuzzy Sets Syst., 2013

Tense Operators and Dynamic De Morgan Algebras.

[BibT_eX]

[DOI]

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

2012

Dynamic effect algebras and their representations.

[BibT_eX]

[DOI]

Soft Comput., 2012

A non-associative generalization of effect algebras.

[BibT_eX]

[DOI]

Soft Comput., 2012

Very true operators in effect algebras.

[BibT_eX]

[DOI]

Soft Comput., 2012

Symmetric Differences on Posets with an Antitone Involution.

[BibT_eX]

[DOI]

Order, 2012

The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras.

[BibT_eX]

[DOI]

Inf. Sci., 2012

2011

Polynomial permutations on bounded commutative directoids with an antitone involution.

[BibT_eX]

[DOI]

Soft Comput., 2011

Effect algebras are conditionally residuated structures.

[BibT_eX]

[DOI]

Soft Comput., 2011

Hedges and successors in basic algebras.

[BibT_eX]

[DOI]

Soft Comput., 2011

On Double Basic Algebras and Pseudo-effect Algebras.

[BibT_eX]

[DOI]

Jan Kühr

Order, 2011

Completeness of Order Algebras?

[BibT_eX]

[DOI]

Hajime Machida

J. Multiple Valued Log. Soft Comput., 2011

BCK-Algebras and Related Algebraic Systems.

[BibT_eX]

[DOI]

Int. J. Math. Math. Sci., 2011

2010

Are basic algebras residuated structures?

[BibT_eX]

[DOI]

Michal Botur

Soft Comput., 2010

On the role of logical connectives for primality and functional completeness of algebras of logics.

[BibT_eX]

[DOI]

Radek Halas

Ivo G. Rosenberg

Inf. Sci., 2010

2009

Independence of axiom system of basic algebras.

[BibT_eX]

[DOI]

Soft Comput., 2009

Double Basic Algebras.

[BibT_eX]

[DOI]

Order, 2009

Functional Completeness of Weak Logics with the Strict Negation?

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2009

A note on intervals of residuated <i>l</i>-groupoids.

[BibT_eX]

[DOI]

Jan Kühr

Fuzzy Sets Syst., 2009

2008

Nearlattices.

[BibT_eX]

[DOI]

Discret. Math., 2008

Congruence kernels of orthomodular implication algebras.

[BibT_eX]

[DOI]

Discret. Math., 2008

2007

Constructions on P-Choice Algebras.

[BibT_eX]

[DOI]

Shelly L. Wismath

J. Multiple Valued Log. Soft Comput., 2007

Orthomodular semilattices.

[BibT_eX]

[DOI]

Discret. Math., 2007

2004

Abbott Groupoids.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2004

2000

Duality of Normally Presented Varieties.

[BibT_eX]

[DOI]