Search results for "residuated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
179	Xiangnan Zhou, Qingguo Li	Partial residuated structures and quantum structures.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra
141	Anna Maria Radzikowska, Etienne E. Kerre	Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	Information relations, Information operators, Fuzzy logical connectives, Fuzzy sets, Residuated lattices
135	Constantine Tsinakis, Annika M. Wille	Minimal Varieties of Involutive Residuated Lattices.	Stud Logica	2006	DBLP DOI BibTeX RDF	involutive residuated lattice, module over a residuated lattice, minimal variety, residuated lattice
101	Michal Botur, Ivan Chajda, Radomír Halas	Are basic algebras residuated structures?	Soft Comput.	2010	DBLP DOI BibTeX RDF	Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
96	José L. Castiglioni, Matías Menni, Marta Sagastume	On Some Categories of Involutive Centered Residuated Lattices.	Stud Logica	2008	DBLP DOI BibTeX RDF	Kalman functor, residuated lattices, involution
92	Michiro Kondo, Mayuka F. Kawaguchi	Partially Ordered Set with Residuated t-norm.	ISMVL	2005	DBLP DOI BibTeX RDF
86	Bjarni Jónsson, Constantine Tsinakis	Products of Classes of Residuated Structures.	Stud Logica	2004	DBLP DOI BibTeX RDF	residuated po-monoid, semi-direct product, wreath product, partially ordered group, residuated lattice, lattice-ordered group, direct product
86	Wendy MacCaull	Finite Algebraic Models for Residuated Logic.	ISMVL	1995	DBLP DOI BibTeX RDF	finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover
81	Xiaohong Zhang 0001	Topological Residuated Lattice: A Unifying Algebra Representation of Some Rough Set Models.	RSKT	2009	DBLP DOI BibTeX RDF	Topological residuated lattice, Intuitionistic fuzzy rough set, Triangle algebra, Rough set
81	Esko Turunen, Janne Mertanen	States on semi-divisible residuated lattices.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, MV-algebra, Residuated lattice, Probability theory
81	Nikolaos Galatos	Equational Bases for Joins of Residuated-lattice Varieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	positive universal formulas, joins of varieties, basis of equations, residuated lattices
81	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
81	Anna Maria Radzikowska, Etienne E. Kerre	Fuzzy Rough Sets Based on Residuated Lattices.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	L–fuzzy sets, fuzzy logical operators, modal operators, information operators, rough sets, residuated lattices, fuzzy relations
81	Ewa Orlowska, Anna Maria Radzikowska	Double Residuated Lattices and Their Applications.	RelMiCS	2001	DBLP DOI BibTeX RDF	Information relations, Information operators, Fuzzy logical operators, Fuzzy sets, Residuated lattices
66	Nikolaos Galatos, James G. Raftery	Adding Involution to Residuated Structures.	Stud Logica	2004	DBLP DOI BibTeX RDF	mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
62	Bart Van Gasse, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre	Triangle Algebras: Towards an Axiomatization of Interval-Valued Residuated Lattices.	RSCTC	2006	DBLP DOI BibTeX RDF
52	Afrodita Iorgulescu	Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
52	Jeffrey S. Olson	Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.	Stud Logica	2006	DBLP DOI BibTeX RDF	positive universal formulas, subdirectly irreducible algebras, contraction, linear logic, residuated lattices, Residuation
49	Vilém Novák	EQ-Algebras in Progress.	IFSA (2)	2007	DBLP DOI BibTeX RDF	fuzzy type theory, higher-order fuzzy logic, fuzzy logic, Residuated lattice, fuzzy equality
49	Nikolaos Galatos, Hiroakira Ono	Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.	Stud Logica	2006	DBLP DOI BibTeX RDF	pointed residuated lattice, parametrized local deduction theorem, interpolation, Substructural logic, algebraic semantics
49	Clint J. van Alten	On Varieties of Biresiduation Algebras.	Stud Logica	2006	DBLP DOI BibTeX RDF	biresiduation algebra, residuated lattice, BCK-algebra
49	Anna Maria Radzikowska	Rough Approximation Operations Based on IF Sets.	ICAISC	2006	DBLP DOI BibTeX RDF	IF sets, Fuzzy logical connectives, Rough sets, Fuzzy sets, Residuated lattices
49	Clint J. van Alten, James G. Raftery	Rule Separation and Embedding Theorems for Logics Without Weakening.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite embeddability property, Lattice-R, linear logic, residuated lattice, separation theorem
47	Lavinia Corina Ciungu	On the Convergence with Fixed Regulator in Residuated Structures.	ECSQARU	2009	DBLP DOI BibTeX RDF
47	Jirí Rachunek, Filip Svrcek	Monadic Bounded Commutative Residuated l-monoids.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05
47	Roberto Cignoli	Free algebras in varieties of Stonean residuated lattices.	Soft Comput.	2008	DBLP DOI BibTeX RDF
47	Radim Belohlávek, Vilém Vychodil	Counting Finite Residuated Lattices.	IFSA (1)	2007	DBLP DOI BibTeX RDF
47	Félix Bou, Àngel García-Cerdaña, Ventura Verdú	On two fragments with negation and without implication of the logic of residuated lattices.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B47, 03F99, 06D15, 06B99, 03B50
47	Francesc Esteva, Lluís Godo, Petr Hájek 0001, Mirko Navara	Residuated fuzzy logics with an involutive negation.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
47	Marek Szczerba	Representation Theorems for Residuated Groupoids.	LACL	1996	DBLP DOI BibTeX RDF
37	Claudia Muresan	Co-stone Residuated Lattices.	ISMVL	2010	DBLP DOI BibTeX RDF	reticulation, Stone algebras, strongly Stone hull, residuated lattice
37	Fengming Dai, Zhudeng Wang	On v-filters of Residuated Lattices with Hedges.	FSKD (6)	2009	DBLP DOI BibTeX RDF	v-filter, residuated lattice, hedge
37	Tomasz Kowalski	Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	FL ew-algebra, semisimple, EDPC, discriminator, residuated lattice
35	Xiaohong Zhang 0001, Nan Sheng, Rajab Ali Borzooei	Partial Residuated Implications Induced by Partial Triangular Norms and Partial Residuated Lattices.	Axioms	2023	DBLP DOI BibTeX RDF
35	Jun Tao Wang 0001, Yanhong She, Pengfei He 0001, Na Na Ma	On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices.	Stud Logica	2023	DBLP DOI BibTeX RDF
35	Xiaohong Zhang 0001, Nan Sheng, Rajab Ali Borzooei	Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices.	CoRR	2022	DBLP DOI BibTeX RDF
35	Xiao Long Xin 0001	Residuated EQ-algebras may not be residuated lattices.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
35	Priyanka Pal, S. P. Tiwari, Renu Verma	Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices.	New Math. Nat. Comput.	2019	DBLP DOI BibTeX RDF
35	Junsheng Qiao, Bao Qing Hu	On (⊙, &)-fuzzy rough sets based on residuated and co-residuated lattices.	Fuzzy Sets Syst.	2018	DBLP DOI BibTeX RDF
34	Radim Belohlávek, Vilém Vychodil	Query systems in similarity-based databases: logical foundations, expressive power, and completeness.	SAC	2010	DBLP DOI BibTeX RDF	domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices
34	Michal Kozak	Distributive Full Lambek Calculus Has the Finite Model Property.	Stud Logica	2009	DBLP DOI BibTeX RDF	Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice
34	Zhengjiang Wu, Lingxiao Yang, Tianrui Li 0001, Keyun Qin	The Basis Algebra in L-Fuzzy Rough Sets.	RSKT	2009	DBLP DOI BibTeX RDF	basis algebra, Rough sets, residuated lattice
34	Afrodita Iorgulescu	On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, Generalized-MV algebra, Generalized-Wajsberg algebra, BCK(P) lattice, Hájek(P) algebra, Generalized-BL algebra, Divisible BCK(P) lattice, Weak-BL algebra, MTL algebra, IMTL algebra, WNM algebra, NM algebra, R0 algebra, Pocrim, MV algebra, Residuated lattice, t-norm, BL algebra, Heyting algebra, BCK algebra
34	Irina Perfilieva	Fixed Points and Solvability of Systems of Fuzzy Relation Equations.	IFSA (2)	2007	DBLP DOI BibTeX RDF	solvability of a system of equations, semilinear space, fixed point, Residuated lattice
32	Simone Bova	Soft Constraints Processing over Divisible Residuated Lattices.	ECSQARU	2009	DBLP DOI BibTeX RDF
32	Nicolás Madrid, Manuel Ojeda-Aciego	On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs.	WILF	2009	DBLP DOI BibTeX RDF
32	Nicolás Madrid, Manuel Ojeda-Aciego	Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
32	Sandra A. Sandri, Christophe Sibertin-Blanc, Vicenç Torra	A Multicriteria Fuzzy System Using Residuated Implication Operators and Fuzzy Arithmetic.	MDAI	2007	DBLP DOI BibTeX RDF
32	Francesc Esteva, Lluís Godo, Franco Montagna	Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm.	IFSA	2003	DBLP DOI BibTeX RDF
32	Carlos Viegas Damásio, Luís Moniz Pereira	Monotonic and Residuated Logic Programs.	ECSQARU	2001	DBLP DOI BibTeX RDF	Logic Programming, Many-valued logics, Possibilistic Logic
32	Carlos Viegas Damásio, Luís Moniz Pereira	Hybrid Probabilistic Logic Programs as Residuated Logic Programs.	JELIA	2000	DBLP DOI BibTeX RDF
30	Éric Badouel, Jules Chenou, Goulven Guillou	Petri Algebras.	ICALP	2005	DBLP DOI BibTeX RDF
30	Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska	Lattice-Based Relation Algebras and Their Representability.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
30	Wojciech Buszkowski	Relational Models of Lambek Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
30	Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás	Towards Biresiduated Multi-adjoint Logic Programming.	CAEPIA	2003	DBLP DOI BibTeX RDF
19	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. II.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
19	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. I.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic
19	Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini	MV-Algebras and Quantum Computation.	Stud Logica	2006	DBLP DOI BibTeX RDF	quasi-MV algebra, residuated structures, fuzzy logic, quantum computation, MV algebra, quantum logic
19	Francesco Paoli	*-autonomous Lattices.	Stud Logica	2005	DBLP DOI BibTeX RDF	autonomous lattice, linear logic, residuated lattice, substructural logics, lattice-ordered group
19	Francesco Belardinelli, Peter Jipsen, Hiroakira Ono	Algebraic Aspects of Cut Elimination.	Stud Logica	2004	DBLP DOI BibTeX RDF	Algebraic Gentzen systems, finite model property, residuated lattices, cut elimination, substructural logics
19	Sándor Jenei, Franco Montagna	On the continuity points of left-continuous t-norms.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Left-continuity, Continuity, Residuated lattice, t-norm
19	Esko Turunen	Boolean deductive systems of BL-algebras.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Fuzzy logic -MV-algebra -BL-algebra, Many-valued logic, Residuated lattice
19	Marcel Erné	Prime Ideal Theory for General Algebras.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closure system, cm-lattice, semiprime, locale, distributive, residuated, ideal, prime, quantale, radical
18	Xiaogang An, Mingming Chen	On type-2 cyclic associative groupoids and inflationary pseudo general residuated lattices.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
18	Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio	Nelson algebras, residuated lattices and rough sets: A survey.	CoRR	2024	DBLP DOI BibTeX RDF
18	Francis Woumfo, Blaise Blériot Koguep Njionou, Etienne Romuald Alomo Temgoua, Michiro Kondo	Some results on state ideals in state residuated lattices.	Soft Comput.	2024	DBLP DOI BibTeX RDF
18	Michal Botur	Residuated L-modules.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
18	Juntao Wang, Mengna Kang, Xuesong Fu, Fei Li	State monadic residuated lattices and their corresponding filters.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
18	Nikolaos Galatos, Sara Ugolini	Gluing Residuated Lattices.	Order	2023	DBLP DOI BibTeX RDF
18	Liviu-Constantin Holdon	On Semitopological De Morgan Residuated Lattices.	TFSS	2023	DBLP DOI BibTeX RDF
18	Xiaohong Zhang 0001, Rong Liang	Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras.	Axioms	2023	DBLP DOI BibTeX RDF
18	Zhe Lin, Minghui Ma	Residuated Basic Logic.	Axioms	2023	DBLP DOI BibTeX RDF
18	Nhung Cao, Martin Stepnicka	Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
18	Sándor Jenei	Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains.	Stud Logica	2023	DBLP DOI BibTeX RDF
18	Saeed Rasouli, Amin Dehghani	Mp- and purified residuated lattices.	Soft Comput.	2023	DBLP DOI BibTeX RDF
18	Haihui Wang, Luyao Zhao, Yongxia He, Zhimin Han, Ping Li 0015	Fuzzy pushdown automata based on complete residuated lattices: variants and computing powers.	Soft Comput.	2023	DBLP DOI BibTeX RDF
18	Lianzhen Liu, Xiangyang Zhang	The Belluce-semilattice associated with a monadic residuated lattice.	Soft Comput.	2023	DBLP DOI BibTeX RDF
18	Saeed Rasouli, Amin Dehghani	On Gelfand residuated lattices.	Soft Comput.	2023	DBLP DOI BibTeX RDF
18	Ahmed A. Ramadan	L-fuzzy filters on complete residuated lattices.	Soft Comput.	2023	DBLP DOI BibTeX RDF
18	Qiu Jin, Lingqiang Li	The axiomatic characterization on fuzzy variable precision rough sets based on residuated lattice.	Int. J. Gen. Syst.	2023	DBLP DOI BibTeX RDF
18	Saeed Rasouli, Amin Dehghani	The pure spectrum of a residuated lattice.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
18	Dmitry Shkatov, Clint J. van Alten	Complexity of the Universal Theory of Residuated Ordered Groupoids.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
18	Yaoliang Xu, Dandan Zou, Lingqiang Li, Bingxue Yao	L-fuzzy covering rough sets based on complete co-residuated lattice.	Int. J. Mach. Learn. Cybern.	2023	DBLP DOI BibTeX RDF
18	Ariane G. Tallee Kakeu, Lutz Strüngmann, Blaise Blériot Koguep Njionou, Célestin Lélé	α-Ideals in Bounded Commutative Residuated Lattices.	New Math. Nat. Comput.	2023	DBLP DOI BibTeX RDF
18	Ju-Mok Oh, Yong Chan Kim	Topological structures and distance functions in complete co-residuated lattices.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
18	Almudena Colacito, Constantine Tsinakis	Nilpotency and the Hamiltonian property for cancellative residuated lattices.	Int. J. Algebra Comput.	2022	DBLP DOI BibTeX RDF
18	Istrata Mihaela	Pure Ideals in Residuated Lattices.	TFSS	2022	DBLP DOI BibTeX RDF
18	Eunsuk Yang	Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics.	Axioms	2022	DBLP DOI BibTeX RDF
18	Ju-Mok Oh, Yong Chan Kim	Various fuzzy connections and fuzzy concepts in complete co-residuated lattices.	Int. J. Approx. Reason.	2022	DBLP DOI BibTeX RDF
18	Pierre Carole Kengne, Blaise Blériot Koguep Njionou, Daquin Cédric Awouafack, Luc Eméry Diékouam Fotso	ℒ -Fuzzy Cosets of ℒ -Fuzzy Filters of Residuated Multilattices.	Int. J. Math. Math. Sci.	2022	DBLP DOI BibTeX RDF
18	Francis Woumfo, Blaise Blériot Koguep Njionou, Etienne Romuald Alomo Temgoua, Célestin Lélé	On State Ideals and State Relative Annihilators in De Morgan State Residuated Lattices.	Int. J. Math. Math. Sci.	2022	DBLP DOI BibTeX RDF
18	Sándor Jenei	Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains.	Stud Logica	2022	DBLP DOI BibTeX RDF
18	Sándor Jenei	Group Representation for Even and Odd Involutive Commutative Residuated Chains.	Stud Logica	2022	DBLP DOI BibTeX RDF
18	Sándor Jenei	Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups.	Stud Logica	2022	DBLP DOI BibTeX RDF
18	Igor Sedlár, Johann J. Wannenburg	Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.	CoRR	2022	DBLP DOI BibTeX RDF
18	Huarong Zhang, Dongsheng Zhao	The sheaf representation of residuated lattices.	ISDT	2022	DBLP DOI BibTeX RDF
18	Wesley Fussner, Nick Galatos	Conic Idempotent Residuated Lattices.	CoRR	2022	DBLP DOI BibTeX RDF
18	Saeed Rasouli, Amin Dehghani	The pure spectrum of a residuated lattice.	CoRR	2022	DBLP DOI BibTeX RDF
18	Szabolcs Mikulás	Finite Model Properties for Residuated Semigroups.	CoRR	2022	DBLP DOI BibTeX RDF
18	Xiaohong Zhang 0001, Mei Wang, Nan Sheng	Q-residuated lattices and lattice pseudoeffect algebras.	Soft Comput.	2022	DBLP DOI BibTeX RDF