The following pages link to (Q5693612):
Displaying 50 items.
- Algebras with implication and fusion: a different point of view. (Q2377311) (← links)
- Generalized Bosbach states. I (Q2377355) (← links)
- On very true operators on pocrims (Q2391233) (← links)
- Extended filters in bounded commutative \(Rl\)-monoids (Q2391676) (← links)
- Extended-order algebras and fuzzy implicators (Q2391907) (← links)
- Hulls of ordered algebras: projectability, strong projectability and lateral completeness (Q2397563) (← links)
- Variety generated by conical residuated lattice-ordered idempotent monoids (Q2416382) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- Interior and closure operators on bounded residuated lattices (Q2440566) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. (Q2449457) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Boolean filters and positive implicative filters of residuated lattices (Q2465345) (← links)
- Representable pseudo-BCK-algebras and integral residuated lattices (Q2466509) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- \(\bigstar\)-autonomous lattices and fuzzy sets (Q2500766) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Weak topologies on toposes (Q2657885) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- Interior and closure operators on commutative basic algebras (Q2986058) (← links)
- The structure of idempotent residuated chains (Q3070134) (← links)
- Forcing operators on MTL-algebras (Q3077402) (← links)
- Modal operators on commutative residuated lattices (Q3083211) (← links)
- (Q3121529) (← links)
- BCK-monoids (Q3161451) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Solving Linear Equations in *-continuous Action Lattices (Q3498422) (← links)
- Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras (Q3520226) (← links)
- (Q3574418) (← links)
- (Q3596236) (← links)
- Commutative idempotent residuated lattices (Q3617947) (← links)
- Local bounded commutative residuated ℓ-monoids (Q3617961) (← links)
- Interior and closure operators on bounded residuated lattice ordered monoids (Q3624887) (← links)
- Generalizations of pseudo MV-algebras and generalized pseudo effect algebras (Q3624890) (← links)
- A non commutative generalization of *-autonomous lattices (Q3624914) (← links)
- Join-semilattices whose sections are residuated PO-monoids (Q3624940) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
- (Q4553286) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- (Q4963175) (← links)
- (Q5014359) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- Simple, local and subdirectly irreducible state residuated lattices (Q5029670) (← links)