|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 156 occurrences of 80 keywords
|
|
|
Results
Found 479 publication records. Showing 479 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
179 | Xiangnan Zhou, Qingguo Li |
Partial residuated structures and quantum structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(12), pp. 1219-1227, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Applications of Relational Structures as Knowledge Instruments ![In: Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers, pp. 162-184, 2006, Springer, 3-540-69223-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 407-423, 2006. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(3), pp. 251-255, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(1), pp. 93-124, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Kalman functor, residuated lattices, involution |
92 | Michiro Kondo, Mayuka F. Kawaguchi |
Partially Ordered Set with Residuated t-norm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada, pp. 26-29, 2005, IEEE Computer Society, 0-7695-2336-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
86 | Bjarni Jónsson, Constantine Tsinakis |
Products of Classes of Residuated Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 267-292, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 206-215, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 102-110, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 353-357, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wajsberg algebra, MV-algebra, Residuated lattice, Probability theory |
81 | Nikolaos Galatos |
Equational Bases for Joins of Residuated-lattice Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(2), pp. 227-240, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(2), pp. 291-303, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets II, pp. 278-296, 2004, Springer, 3-540-23990-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers, pp. 171-189, 2001, Springer, 3-540-00315-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 181-207, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings, pp. 117-126, 2006, Springer, 3-540-47693-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(4), pp. 313-327, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 393-406, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 876-884, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 279-308, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 425-445, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
biresiduation algebra, residuated lattice, BCK-algebra |
49 | Anna Maria Radzikowska |
Rough Approximation Operations Based on IF Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2006, 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings, pp. 528-537, 2006, Springer, 3-540-35748-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(2), pp. 241-274, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 899-910, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Jirí Rachunek, Filip Svrcek |
Monadic Bounded Commutative Residuated l-monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(2), pp. 157-175, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05 |
47 | Roberto Cignoli |
Free algebras in varieties of Stonean residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 315-320, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Radim Belohlávek, Vilém Vychodil |
Counting Finite Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 461-470, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(5), pp. 615-647, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(2), pp. 103-124, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Marek Szczerba |
Representation Theorems for Residuated Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers, pp. 426-434, 1996, Springer, 3-540-63700-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
37 | Claudia Muresan |
Co-stone Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010, pp. 104-107, 2010, IEEE Computer Society, 978-0-7695-4024-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 358-362, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
v-filter, residuated lattice, hedge |
37 | Tomasz Kowalski |
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 255-265, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(1), pp. 63, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 111(3), pp. 361-390, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.02601, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Xiao Long Xin 0001 |
Residuated EQ-algebras may not be residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 382, pp. 120-128, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 15(1), pp. 169-190, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Junsheng Qiao, Bao Qing Hu |
On (⊙, &)-fuzzy rough sets based on residuated and co-residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 336, pp. 54-86, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Radim Belohlávek, Vilém Vychodil |
Query systems in similarity-based databases: logical foundations, expressive power, and completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1648-1655, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 201-216, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 320-325, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(9), pp. 835-856, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 841-849, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 887-898, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 60-67, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Nicolás Madrid, Manuel Ojeda-Aciego |
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia, pp. 260-264, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings, pp. 57-67, 2007, Springer, 978-3-540-73728-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 172-179, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Carlos Viegas Damásio, Luís Moniz Pereira |
Monotonic and Residuated Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 748-759, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 57-72, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Éric Badouel, Jules Chenou, Goulven Guillou |
Petri Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 742-754, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska |
Lattice-Based Relation Algebras and Their Representability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Applications of Relational Structures as Knowledge Instruments ![In: Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers, pp. 231-255, 2003, Springer, 3-540-20780-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Wojciech Buszkowski |
Relational Models of Lambek Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Applications of Relational Structures as Knowledge Instruments ![In: Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers, pp. 196-213, 2003, Springer, 3-540-20780-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers, pp. 608-617, 2003, Springer, 3-540-22218-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Spinks, Robert Veroff |
Constructive Logic with Strong Negation is a Substructural Logic. II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(3), pp. 401-425, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(3), pp. 325-348, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(2), pp. 245-270, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
quasi-MV algebra, residuated structures, fuzzy logic, quantum computation, MV algebra, quantum logic |
19 | Francesco Paoli |
*-autonomous Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 79(2), pp. 283-304, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 209-240, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(8), pp. 797-810, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Left-continuity, Continuity, Residuated lattice, t-norm |
19 | Esko Turunen |
Boolean deductive systems of BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(6), pp. 467-473, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 115-144, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(1), pp. 405-418, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio |
Nelson algebras, residuated lattices and rough sets: A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.02606, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 28(1), pp. 163-176, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Michal Botur |
Residuated L-modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 474, pp. 108746, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Juntao Wang, Mengna Kang, Xuesong Fu, Fei Li |
State monadic residuated lattices and their corresponding filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 44(2), pp. 1793-1805, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Nikolaos Galatos, Sara Ugolini |
Gluing Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 40(3), pp. 623-664, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Liviu-Constantin Holdon |
On Semitopological De Morgan Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFSS ![In: TFSS 2(1), pp. 133-146, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Xiaohong Zhang 0001, Rong Liang |
Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(1), pp. 42, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zhe Lin, Minghui Ma |
Residuated Basic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(10), pp. 966, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 154, pp. 1-26, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Sándor Jenei |
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 111(5), pp. 897-898, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Saeed Rasouli, Amin Dehghani |
Mp- and purified residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(1), pp. 131-148, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(11), pp. 6927-6938, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lianzhen Liu, Xiangyang Zhang |
The Belluce-semilattice associated with a monadic residuated lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(11), pp. 6983-6998, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Saeed Rasouli, Amin Dehghani |
On Gelfand residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(5), pp. 2147-2158, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed A. Ramadan |
L-fuzzy filters on complete residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(21), pp. 15497-15507, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Qiu Jin, Lingqiang Li |
The axiomatic characterization on fuzzy variable precision rough sets based on residuated lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 52(7), pp. 820-841, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Saeed Rasouli, Amin Dehghani |
The pure spectrum of a residuated lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 469, pp. 108636, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Dmitry Shkatov, Clint J. van Alten |
Complexity of the Universal Theory of Residuated Ordered Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 32(3), pp. 489-510, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 14(8), pp. 2815-2829, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 19(3), pp. 611-630, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ju-Mok Oh, Yong Chan Kim |
Topological structures and distance functions in complete co-residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 43(1), pp. 49-65, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Almudena Colacito, Constantine Tsinakis |
Nilpotency and the Hamiltonian property for cancellative residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 32(4), pp. 629-652, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Istrata Mihaela |
Pure Ideals in Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFSS ![In: TFSS 1(1), pp. 42-58, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Eunsuk Yang |
Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(4), pp. 183, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ju-Mok Oh, Yong Chan Kim |
Various fuzzy connections and fuzzy concepts in complete co-residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 142, pp. 451-468, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2022, pp. 6833943:1-6833943:14, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2022, pp. 6213448:1-6213448:14, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sándor Jenei |
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 110(4), pp. 923-924, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sándor Jenei |
Group Representation for Even and Odd Involutive Commutative Residuated Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 110(4), pp. 881-922, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sándor Jenei |
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 110(4), pp. 1135, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Igor Sedlár, Johann J. Wannenburg |
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.10610, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Huarong Zhang, Dongsheng Zhao |
The sheaf representation of residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDT ![In: Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022, 2022, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Wesley Fussner, Nick Galatos |
Conic Idempotent Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.09724, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Saeed Rasouli, Amin Dehghani |
The pure spectrum of a residuated lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.07995, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Szabolcs Mikulás |
Finite Model Properties for Residuated Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.11685, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Xiaohong Zhang 0001, Mei Wang, Nan Sheng |
Q-residuated lattices and lattice pseudoeffect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 26(10), pp. 4519-4540, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 479 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|