The following pages link to Michiro Kondo (Q588943):
Displaying 50 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- On pseudo-equality algebras. (Q403404) (← links)
- Hilbert algebras with supremum (Q422345) (← links)
- Hedges and successors in basic algebras (Q422448) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- On finite \(B\)-algebra. (Q497016) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- Priestley style duality for distributive meet-semilattices (Q763299) (← links)
- \(n\)-normal residuated lattices (Q780240) (← links)
- Intuitionistic fuzzy deductive systems in Hilbert algebras (Q815183) (← links)
- Characterization of extended filters in residuated lattices (Q894677) (← links)
- On bounded lattices satisfying Elkan's law (Q937262) (← links)
- Canonical extensions and relational representations of lattices with negation (Q1015482) (← links)
- The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics (Q1078165) (← links)
- Solutions for Porte's conjectures (Q1097255) (← links)
- A1 is not a conservative extension of S4 but of S5 (Q1123182) (← links)
- Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup (Q1607773) (← links)
- Generalized state operators on residuated lattices (Q1741932) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Congruences, ideals and annihilators in standard QBCC-algebras (Q1767427) (← links)
- On the class of QS-algebras (Q1777727) (← links)
- A correction to ''The completeness theorems for some intuitionistic logics in terms of interval semantics'' (Q1821769) (← links)
- Rings used in modal logic and their radicals (Q1862716) (← links)
- Classification of weak De Morgan algebras (Q1906669) (← links)
- Approximation logic and strong Bunge algebra (Q1913634) (← links)
- Functional representation of finitely generated free algebras in subvarieties of BL-algebras (Q2007879) (← links)
- Multiplicative derivations and \(d\)-filters of commutative residuated lattices (Q2153612) (← links)
- On topologies defined by neighbourhood operators of approximation spaces (Q2237542) (← links)
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (Q2353687) (← links)
- Unification on subvarieties of pseudocomplemented distributive lattices (Q2374391) (← links)
- Logics from Galois connections (Q2379337) (← links)
- On residuated lattices with universal quantifiers (Q2411945) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Filter theory of BL algebras (Q2476639) (← links)
- On the structure of generalized rough sets (Q2488636) (← links)
- Interval valued \((\in,\in\!\vee\,q)\)-fuzzy filters of pseudo BL-algebras (Q2519408) (← links)
- Rough subalgebras of some binary algebras connected with logics (Q2566595) (← links)
- Note on topologies induced by coverings of approximation spaces (Q2658033) (← links)
- On fuzzy BCC-ideals over a t-norm (Q2708494) (← links)
- Filter theory of bilattices in the semantics of logic programming (Q2721571) (← links)
- Completeness theorem for the logic characterized by distributive bilattices (Q2721572) (← links)
- Kleene algebra and modal logic (Q2731097) (← links)
- Some results on ideals of BCK-algebras (Q2747286) (← links)
- Congruences on hyper BCK-algebras (Q2747287) (← links)
- Fuzzifications of ideals in BCC-algebras (Q2748021) (← links)
- Residuation in commutative ordered monoids with minimal zero (Q2752408) (← links)
- Fully adequate Gentzen systems and the deduction theorem (Q2772907) (← links)
- Universality of the lattice of transformation monoids (Q2845449) (← links)
