Helmut Länger

Soft Comput., April, 2025

Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension.

[BibT_eX]

[DOI]

Stud Logica, February, 2025

Tense logics based on posets.

[BibT_eX]

[DOI]

J. Log. Comput., 2025

The variety of complemented lattices where conjunction and implication form an adjoint pair.

[BibT_eX]

[DOI]

Václav Cenker

J. Log. Comput., 2025

Algebraic structures formalizing the logic with unsharp implication and negation.

[BibT_eX]

[DOI]

Log. J. IGPL, 2025

2024

Representability of Kleene Posets and Kleene Lattices.

[BibT_eX]

[DOI]

Stud Logica, December, 2024

2023

Operator residuation in orthomodular posets of finite height.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., September, 2023

Orthomodular and Skew Orthomodular Posets.

[BibT_eX]

[DOI]

Miroslav Kolarík

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]

Miroslav Kolarík

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

Algebraic Aspects of Relatively Pseudocomplemented Posets.

[BibT_eX]

[DOI]

Order, 2020

Sublattices and Δ-blocks of orthomodular posets.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Residuation in lattice effect algebras.

[BibT_eX]

[DOI]

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

Operations and structures derived from non-associative MV-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

Uniquely Complemented Posets.

[BibT_eX]

[DOI]

Order, 2018

Weakly Orthomodular and Dually Weakly Orthomodular Lattices.

[BibT_eX]

[DOI]

Order, 2018

2017

Convex congruences.

[BibT_eX]

[DOI]

Soft Comput., 2017

Coupled Right Orthosemirings Induced by Orthomodular Lattices.

[BibT_eX]

[DOI]

Order, 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

On congruences of weak lattices.

[BibT_eX]

[DOI]

Soft Comput., 2016

General coupled semirings of residuated lattices.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

2015

Commutative basic algebras and coupled near semirings.

[BibT_eX]

[DOI]

Soft Comput., 2015

2012

A non-associative generalization of effect algebras.

[BibT_eX]

[DOI]

Soft Comput., 2012

Symmetric Differences on Posets with an Antitone Involution.

[BibT_eX]

[DOI]

Order, 2012

2011

Polynomial permutations on bounded commutative directoids with an antitone involution.

[BibT_eX]

[DOI]

Miroslav Kolarík

Soft Comput., 2011

2010

The Zerodivisor Graph of a Qoset.

[BibT_eX]

[DOI]

Order, 2010

On the structure of numerical event spaces.

[BibT_eX]

[DOI]

Gerhard Dorfer

Dietmar Dorninger

Kybernetika, 2010

2008

Congruence kernels of orthomodular implication algebras.

[BibT_eX]

[DOI]

Discret. Math., 2008

1983

An explicit formula for the solution of the Fisher-Wright selection model in population genetics.

[BibT_eX]

[DOI]

Dietmar Dorninger