The following pages link to Rostislav Horčík (Q549719):
Displaying 44 items.
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Normal forms in BL and Ł\(\Pi\) algebras of functions (Q558198) (← links)
- Cancellative residuated lattices arising on 2-generated submonoids of natural numbers (Q607457) (← links)
- Product Łukasiewicz logic (Q701745) (← links)
- (Q818512) (redirect page) (← links)
- A characterization of the free \(n\)-generated MV-algebra (Q818513) (← links)
- Solution of a system of linear equations with fuzzy numbers (Q835183) (← links)
- Alternative proof of standard completeness theorem for MTL (Q855228) (← links)
- The word problem for involutive residuated lattices and related structures (Q866813) (← links)
- \(TL\)-filters of integral residuated \(l\)-monoids (Q867655) (← links)
- On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492) (← links)
- Every linear pseudo BL-algebra admits a state (Q877764) (← links)
- On the continuity points of left-continuous t-norms (Q1423637) (← links)
- Residuated fuzzy logics with additional connectives and their validation sets. (Q1428675) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
- Standard completeness theorem for \(\Pi\)MTL (Q1778060) (← links)
- Minimal varieties of representable commutative residuated lattices (Q1935563) (← links)
- Densification via polynomials, languages, and frames (Q2229970) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- On square-increasing ordered monoids and idempotent semirings (Q2362745) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices (Q2447247) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Structure of commutative cancellative integral residuated lattices on \((0, 1]\) (Q2474105) (← links)
- Filter theory of BL algebras (Q2476639) (← links)
- Probabilistic averaging in bounded \(R\ell\)-monoids (Q2491188) (← links)
- Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids (Q2497469) (← links)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- Implication in MV-algebras (Q2577699) (← links)
- MV-algebras: a variety for magnitudes with archimedean units (Q2577712) (← links)
- The Quest for the Basic Fuzzy Logic (Q2948592) (← links)
- On the Structure of Finite Integral Commutative Residuated Chains (Q3097866) (← links)
- (Q3143796) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- On Weakly Cancellative Fuzzy Logics (Q3411998) (← links)
- Decidability of Cancellative Extension of Monoidal T-norm Based Logic (Q3424131) (← links)
- Solutions to Some Open Problems on Totally Ordered Monoids (Q3583104) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
- (Q4442750) (← links)
- An Algebraic Approach to Valued Constraint Satisfaction (Q5111213) (← links)
- On <i>n</i> ‐contractive fuzzy logics (Q5293197) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
- (Q5406035) (← links)
- (Q5419875) (← links)
