نتائج البحث - "Galois connection"

1

Academic Journal

Hilbert Algebras with Hilbert-Galois Connections II

المؤلفون: Celani, Sergio A., Montagie, Daniela

المصدر: Bulletin of the Section of Logic; Early View; 20 pp. ; 2449-836X ; 0138-0680

مصطلحات موضوعية: Hilbert algebra, modal operators, Galois connection, canonical varieties, congruences

وصف الملف: application/pdf

Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/23268/24276; https://czasopisma.uni.lodz.pl/bulletin/article/view/23268

الاتاحة: https://czasopisma.uni.lodz.pl/bulletin/article/view/23268
https://doi.org/10.18778/0138-0680.2024.17

View record in BASE

2

Academic Journal

Connecting ideals in evolution algebras with hereditary subsets of its associated graph

المؤلفون: Cabrera-Casado, Yolanda, Martín-Barquero, Dolores, Martín-González, Cándido, Tocino-Sánchez, Alicia

مصطلحات موضوعية: Algebra, Galois, Teoría de, Grupos, Matemáticas aplicadas, Evolution algebra, Galois connection, Simple algebra, Directed graph, Maximal ideal, Absorption property, Hereditary subset, Saturated subset

Relation: Casado, Y.C., Barquero, D.M., González, C.M. et al. Connecting ideals in evolution algebras with hereditary subsets of its associated graph. Collect. Math. (2024). https://doi.org/10.1007/s13348-024-00435-x; https://hdl.handle.net/10630/30794

الاتاحة: https://hdl.handle.net/10630/30794
https://doi.org/10.1007/s13348-024-00435-x

View record in BASE

3

Academic Journal

S-preclones and the Galois connection S Polâ€“ S Inv, Part I

المؤلفون: Jipsen, Peter, Lehtonen, Erkko, PÃ¶schel, Reinhard

المصدر: Mathematics, Physics, and Computer Science Faculty Articles and Research

مصطلحات موضوعية: Partially ordered algebra, Preclone, Galois connection, Orderpreserving map, Order-reversing map, Algebra

وصف الملف: application/pdf

Relation: https://digitalcommons.chapman.edu/scs_articles/1044; https://digitalcommons.chapman.edu/context/scs_articles/article/2043/viewcontent/S_preclones_and_the_Galois_connection_SPol_SInv_Part_I.pdf

الاتاحة: https://digitalcommons.chapman.edu/scs_articles/1044
https://doi.org/10.1007/s00012-024-00863-7
https://digitalcommons.chapman.edu/context/scs_articles/article/2043/viewcontent/S_preclones_and_the_Galois_connection_SPol_SInv_Part_I.pdf

View record in BASE

4

Conference

Closure Structures as fixed points of some Galois connections.

المؤلفون: Ojeda Hernández, Manuel, De-las-Peñas-Cabrera, Inmaculada, Cordero-Ortega, Pablo, Muñoz-Velasco, Emilio José

مصطلحات موضوعية: Galois, Teoría de, Sistemas difusos, Fuzzy lattice, Galois connection, Closure connection

Relation: EUSFLAT 2023; Palma de Mallorca; 04/09/2023; https://hdl.handle.net/10630/27587

الاتاحة: https://hdl.handle.net/10630/27587

View record in BASE

5

Academic Journal

Action Codes

المؤلفون: Vaandrager, Frits, Wißmann, Thorsten

المساهمون: Frits Vaandrager and Thorsten Wißmann

مصطلحات موضوعية: Automata, Models of Reactive Systems, LTS, Action Codes, Action Refinement, Action Contraction, Galois Connection, Model-Based Testing, Model Learning

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 261, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.137

الاتاحة: https://doi.org/10.4230/LIPIcs.ICALP.2023.137
https://nbn-resolving.org/urn:nbn:de:0030-drops-181895
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.137

View record in BASE

6

Academic Journal

The f -index of inclusion as optimal adjoint pair for fuzzy modus ponens

المؤلفون: Madrid-Labrador, Nicolás Miguel, Ojeda-Aciego, Manuel

مصطلحات موضوعية: Conjuntos difusos, Galois, Teoría de, Fuzzy logic, f -index of inclusion, Fuzzy inclusion, Inclusion measures, Residuated lattice, Galois connection

Relation: N. Madrid and M. Ojeda-Aciego, The f-index of inclusion as optimal adjoint pair for fuzzy modus ponens, Fuzzy Sets and Systems, https://doi.org/10.1016/j.fss.2023.01.009; https://hdl.handle.net/10630/26351; https://doi.org/10.1016/j.fss.2023.01.009

الاتاحة: https://hdl.handle.net/10630/26351
https://doi.org/10.1016/j.fss.2023.01.009

View record in BASE

7

Academic Journal

Fuzzy Closure Structures as Formal Concepts II

المؤلفون: Ojeda Hernández, Manuel, De-las-Peñas-Cabrera, Inmaculada, Cordero-Ortega, Pablo, Muñoz-Velasco, Emilio José

مصطلحات موضوعية: Matemáticas aplicadas, Closure system, Galois connection, Fuzzy lattice

Relation: Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Fuzzy Closure Structures as Formal Concepts II, Fuzzy Sets and Systems, 2023, 108734, ISSN 0165-0114, https://doi.org/10.1016/j.fss.2023.108734.; https://hdl.handle.net/10630/27742; https://doi.org/10.1016/j.fss.2023.108734.

الاتاحة: https://hdl.handle.net/10630/27742
https://doi.org/10.1016/j.fss.2023.108734

View record in BASE

8

Academic Journal

Fuzzy closure structures as formal concepts

المؤلفون: Ojeda Hernández, Manuel, De-las-Peñas-Cabrera, Inmaculada, Cordero-Ortega, Pablo, Muñoz-Velasco, Emilio José

مصطلحات موضوعية: Galois, Teoría de, Matemáticas, Closure system, Galois connection, Fuzzy lattice

Relation: Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Fuzzy closure structures as formal concepts, Fuzzy Sets and Systems, Volume 463, 2023, 108458, ISSN 0165-0114, https://doi.org/10.1016/j.fss.2022.12.014.; https://hdl.handle.net/10630/26513; https://doi.org/10.1016/j.fss.2022.12.014

الاتاحة: https://hdl.handle.net/10630/26513
https://doi.org/10.1016/j.fss.2022.12.014

View record in BASE

9

Academic Journal

Fuzzy relational Galois connections between fuzzy transitive digraphs

المؤلفون: De-las-Peñas-Cabrera, Inmaculada, Cordero-Ortega, Pablo, Muñoz-Velasco, Emilio José, Ojeda-Aciego, Manuel, De Baets, Bernard

مصطلحات موضوعية: Galois, Teoría de, Galois connection, Fuzzy transitive digraph

Relation: I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, B. De Baets, Fuzzy relational Galois connections between fuzzy transitive digraphs, Fuzzy Sets and Systems, Volume 463, 2023, 108456, ISSN 0165-0114, https://doi.org/10.1016/j.fss.2022.12.012.; https://hdl.handle.net/10630/26514; https://doi.org/10.1016/j.fss.2022.12.012

الاتاحة: https://hdl.handle.net/10630/26514
https://doi.org/10.1016/j.fss.2022.12.012

View record in BASE

10

Conference

A multi-modal logic for Galois connections

المؤلفون: Burrieza-Muñiz, Alfredo, Pérez-de-Guzmán-Molina, Inmaculada, Yuste-Ginel, Antonio

مصطلحات موضوعية: Galois connection, modal logic, temporal×modal logic, multi-modal logics, completeness, step-by-step

Relation: Advances in Modal Logic;14; https://hdl.handle.net/10630/24908

الاتاحة: https://hdl.handle.net/10630/24908

View record in BASE

11

Academic Journal

St. Alasdair in lattices everywhere

المؤلفون: Katalin Bimbó and J. Michael Dunn

مصطلحات موضوعية: Galois connection, Lattice, Relational semantics, Semilattice, Topological frame

Relation: https://era.library.ualberta.ca/items/4868d12e-4843-4a88-add4-6f1e19e7c4b1

الاتاحة: https://era.library.ualberta.ca/items/4868d12e-4843-4a88-add4-6f1e19e7c4b1
https://doi.org/10.7939/r3-mksd-gc70

View record in BASE

12

Academic Journal

On Implicative Derivations of MTL-Algebras

المؤلفون: Jianxin Liu, Yijun Li, Yongwei Yang, Juntao Wang

المصدر: Axioms; Volume 11; Issue 7; Pages: 340

مصطلحات موضوعية: MTL-algebra, implicative derivation, k-modal operator, Galois connection

وصف الملف: application/pdf

Relation: Logic; https://dx.doi.org/10.3390/axioms11070340

الاتاحة: https://doi.org/10.3390/axioms11070340

View record in BASE

13

Conference

Galois Connections for Patterns: An Algebra of Labelled Graphs

المؤلفون: Cohen, David, A, Cooper, Martin, Jeavons, Peter, G, Živný, Stanislav

المساهمون: Royal Holloway University of London (RHUL), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), University of Oxford, Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), ANR-18-CE40-0011,PING-ACK,Pré-traitement d'informations pour la résolution de tâches complexes / Compilation avancée de connaissances(2018)

المصدر: Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop ; Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers ; ISBN 978-3-030-72307-1 ; 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2020) ; https://ut3-toulouseinp.hal.science/hal-03311388 ; 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2020), Sep 2020, en ligne, France. pp.125 - 150, ⟨10.1007/978-3-030-72308-8_9⟩ ; https://link.springer.com/chapter/10.1007%2F978-3-030-72308-8_9

مصطلحات موضوعية: Constraint satisfaction, Tractability, Forbidden patterns, Galois connection, Lattice, [INFO]Computer Science [cs], [MATH]Mathematics [math]

جغرافية الموضوع: en ligne, France

Relation: hal-03311388; https://ut3-toulouseinp.hal.science/hal-03311388; https://ut3-toulouseinp.hal.science/hal-03311388/document; https://ut3-toulouseinp.hal.science/hal-03311388/file/Cohen2021_Chapter_GaloisConnectionsForPatternsAn.pdf

الاتاحة: https://ut3-toulouseinp.hal.science/hal-03311388
https://ut3-toulouseinp.hal.science/hal-03311388/document
https://ut3-toulouseinp.hal.science/hal-03311388/file/Cohen2021_Chapter_GaloisConnectionsForPatternsAn.pdf
https://doi.org/10.1007/978-3-030-72308-8_9

View record in BASE

14

Academic Journal

Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts

المؤلفون: Dubois, Didier, Medina, Jesús, Prade, Henri, Ramírez-Poussa, Eloísa

المساهمون: Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Universidad de Cádiz = University of Cádiz (UCA), 2014-2020 ERDF Operational Programme in collaboration with the State Research Agency (AEI) in projects TIN2016-76653-P and PID2019-108991GB-I00, Department of Economy, Knowledge, Business and University of the Regional Government of Andalusia in project FEDER-UCA18-108612, European Cooperation in Science & Technology (COST) Action CA17124

المصدر: ISSN: 0020-0255 ; Information Sciences ; https://hal.science/hal-03249328 ; Information Sciences, 2021, 561, pp.31-51. ⟨10.1016/j.ins.2020.12.085⟩ ; https://www.sciencedirect.com/science/article/pii/S0020025521000177?via%3Dihub.

مصطلحات موضوعية: Galois connection, formal concept analysis, object-oriented concept lattices, attribute implication, [INFO]Computer Science [cs]

Relation: hal-03249328; https://hal.science/hal-03249328; https://hal.science/hal-03249328/document; https://hal.science/hal-03249328/file/DisjunctiveImplications_R1_091020.pdf

الاتاحة: https://hal.science/hal-03249328
https://hal.science/hal-03249328/document
https://hal.science/hal-03249328/file/DisjunctiveImplications_R1_091020.pdf
https://doi.org/10.1016/j.ins.2020.12.085

View record in BASE