International Journal of Theoretical Physics · 2011 · 37 citations · 9 references
Natural SciencesMathematicsAlgebraRepresentation TheorySyntaxAbstract AlgebraOperator TheoryTemporal LogicTense SemanticsOperator AlgebrasOperatorsTense InterpretationTense Syntax
9
Ivan Chajda, Radomír Halaš, Jan Kühr · Algebra Universalis · 2008 · 80 citations
Independence of axiom system of basic algebras
Ivan Chajda, Miroslav Kolařík · Soft Computing · 2008 · 35 citations
Finite Commutative Basic Algebras are MV-Effect Algebras.
Michal Botur, Radomír Halaš · 2008 · 32 citations