The following pages link to Szabolcs Mikulás (Q236473):
Displayed 43 items.
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- The equational theories of representable residuated semigroups (Q514561) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Axiomatizing complex algebras by games. (Q1771885) (← links)
- An elementary construction for a non-elementary procedure (Q1863831) (← links)
- Axiomatizability of reducts of algebras of relations (Q1866804) (← links)
- Taming logic (Q1909607) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- Ordered domain algebras (Q2446547) (← links)
- Representable semilattice-ordered monoids (Q2474106) (← links)
- (Q2701985) (← links)
- Products, or how to create modal logics of high complexity (Q2708309) (← links)
- (Q2721205) (← links)
- The finite representation property for composition, intersection, domain and range (Q2828345) (← links)
- Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders (Q2849487) (← links)
- Residuated Kleene Algebras (Q2897940) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- On representable ordered residuated semigroups (Q3081250) (← links)
- Algebras of Relations and Relevance Logic (Q3623220) (← links)
- (Q4032851) (← links)
- Undecidable relativizations of algebras of relations (Q4262581) (← links)
- (Q4271946) (← links)
- (Q4273432) (← links)
- (Q4349280) (← links)
- (Q4349284) (← links)
- Taming first-order logic (Q4383703) (← links)
- (Q4873974) (← links)
- Tableau calculus for local cubic modal logic and its implementation (Q4934884) (← links)
- Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527) (← links)
- The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms (Q5046723) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Relational Lattices (Q5410493) (← links)
- (Q5688813) (← links)
- Cylindric structures and dependencies in relational databases (Q5958623) (← links)
- Ordered Monoids: Languages and Relations (Q6285183) (← links)
- Finite Model Properties for Residuated Semigroups (Q6418011) (← links)