Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Constantine Tsinakis, Han Zhang |
Order Algebras as Models of Linear Logic. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
net semantics, partially ordered monoids, Petri nets, linear logic, quantales |
77 | Norihiro Kamide |
Quantized Linear Logic, Involutive Quantales and Strong Negation. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
involutive quantales, quantization principle, linear logic, strong negation |
74 | Makoto Tanabe |
Timed Petri Nets and Temporal Linear Logic. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
temporal linear logic, timed Petri nets, quantales |
73 | Georg Struth, Cameron Calk |
Modal quantales, involutive quantales, Dedekind Quantales. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
68 | Bernhard Möller, Peter Höfner, Georg Struth |
Quantales and Temporal Logics. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Wolfgang Rump |
Frobenius Quantales, Serre Quantales and the Riemann-Roch Theorem. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
48 | Hans Heymans |
Sheaves on involutive quantales: Grothendieck quantales. |
Fuzzy Sets Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
46 | David Kruml |
Distributive Quantales. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
algebraic quantale, spatial quantale, distributive quantale, prime |
46 | David Kruml |
Spatial Quantales. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
simple quantale, spatial quantale, C *-algebra, quantale module, prime, quantale |
24 | George Georgescu |
mz-elements in coherent quantales. |
Fuzzy Sets Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Cameron Calk, Georg Struth |
Higher Globular Catoids and Quantales. |
Arch. Formal Proofs |
2024 |
DBLP BibTeX RDF |
|
24 | Saqib Mazher Qurashi, Bander N. Almutairi, Rani Sumaira Kanwal, Mladen Krstic, Muhammad Yousaf |
Rough Substructures Based on Overlaps of Successor in Quantales Under Serial Fuzzy Relations. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cédric de Lacroix, Luigi Santocanale |
Unitless Frobenius Quantales. |
Appl. Categorical Struct. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Dagnino, Amin Farjudian, Eugenio Moggi |
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth |
Higher Catoids, Higher Quantales and their Correspondences. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Xia Zhang, Jan Paseka, Jianjun Feng, Yudong Chen |
Reflectors to quantales. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Saqib Mazher Qurashi, Muhammad Gulzar, Rani Sumaira Kanwal, Dilruba Akter, Muhammad Shawaiz Safdar |
A Novel Characterization of Fuzzy Soft Substructures in Quantales Theory. |
Complex. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Arman Shamsgovara |
Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Dagnino, Amin Farjudian, Eugenio Moggi |
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
24 | George Georgescu |
Lifting Elements in Coherent Quantales. |
TFSS |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Cédric de Lacroix, Luigi Santocanale |
Unitless Frobenius quantales. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Derek S. Cook, Ittay Weiss |
Diagrams of quantales and Lipschitz norms. |
Fuzzy Sets Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Saqib Mazher Qurashi, Rani Sumaira Kanwal, Muhammad Shabir, Kashan Ali |
Generalized roughness of fuzzy substructures in quantales with respect to soft relations. |
J. Intell. Fuzzy Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Juan Pablo Quijano, Pedro Resende |
Functoriality of Groupoid Quantales. II. |
Appl. Categorical Struct. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | George Georgescu |
Flat topology on the spectra of quantales. |
Fuzzy Sets Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Callum Bannister, Peter Höfner, Georg Struth |
Effect Algebras, Girard Quantales and Complementation in Separation Logic. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Patrik Eklund |
Quantales in Circuit Design. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Daniela Cheptea, George Georgescu |
Boolean lifting property in quantales. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Rani Sumaira Kanwal, Saqib Mazher Qurashi, Muhammad Shabir |
Generalized approximation of substructures in quantales by soft relations. |
Comput. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Saqib Mazher Qurashi, Muhammad Shabir |
Some studies in the approximation of $$(\in _{\gamma }, \in _{\gamma }\vee q_{\delta })$$-fuzzy substructures in quantales. |
Comput. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Flaulles Boone Bergamaschi, Regivan H. N. Santiago |
Fuzzy Primeness in Quantales. |
Decision Making under Constraints |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa |
Preorders, Partial Semigroups, and Quantales. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Jan Paseka, Sergejs Solovjovs, Milan Stehlík |
Sugeno Integral over Generalized Semi-quantales. |
NAFIPS |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Daniela Cheptea, George Georgescu |
Boolean lifting property in quantales. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
24 | Pedro Resende |
Open Maps of Involutive Quantales. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Maria João Gouveia, Luigi Santocanale |
Mix ⋆-autonomous quantales and the continuous weak order. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Sheng-Wei Han, Changchun Xia, Bin Zhao |
Semitopological groups, semiclosure semigroups and quantales. |
Fuzzy Sets Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Georg Struth |
Quantales. |
Arch. Formal Proofs |
2018 |
DBLP BibTeX RDF |
|
24 | Maria João Gouveia, Luigi Santocanale |
MIX \star -Autonomous Quantales and the Continuous Weak Order. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jorge Bruno, Paul Szeptycki |
Quantales, Generalised Premetrics and Free Locales. |
Appl. Categorical Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Bin Zhao, Supeng Wu, Kaiyun Wang |
Quantale algebras as lattice-valued quantales. |
Soft Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Javier Gutiérrez García, Ulrich Höhle, Tomasz Kubiak |
Tensor products of complete lattices and their application in constructing quantales. |
Fuzzy Sets Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Patrik Eklund, Ulrich Höhle, Jari Kortelainen |
Non-commutative Quantales for Many-Valuedness in Applications. |
IPMU (1) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Ulrich Höhle |
Prime Elements of Non-integral Quantales and their Applications. |
Order |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Mustafa Demirci |
Fuzzy Semi-Quantales, (L, M) Quasi-Fuzzy Topological Spaces and Their Duality. |
IJCCI (FCTA) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Qingjun Luo, Guojun Wang |
Roughness and fuzziness in quantales. |
Inf. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Wolfgang Rump, Yichuan Yang |
Non-commutative logical algebras and algebraic quantales. |
Ann. Pure Appl. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Alessandra Palmigiano, Riccardo Re |
Relational Representation of Groupoid Quantales. |
Order |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Lingyun Yang, Luoshan Xu |
Roughness in quantales. |
Inf. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Qimei Xiao, Qingguo Li |
Generalized Lower and Upper Approximations in Quantales. |
J. Appl. Math. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Remigijus Petras Gylys |
Extensions of states on MV-quantales. |
Fuzzy Sets Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Koki Nishizawa, Hitoshi Furusawa |
Relational Representation Theorem for Powerset Quantales. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Hongliang Lai, Dexue Zhang |
Construction Quantaloids from Quantales. |
QLSC |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Zhi-Lian Guo, Hai-Long Yang |
Soft Quantales. |
QLSC |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Marcos Eduardo Valle, Peter Sussner, Estevão Laureano Esmi |
Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images. |
HAIS (2) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Shaohui Liang |
Ideal-Convergence in Quantales. |
NL-MUA |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Jeffrey M. Egger, David Kruml |
Girard Couples of Quantales. |
Appl. Categorical Struct. |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Alessandra Palmigiano, R. Re |
Topological Groupoid Quantales. |
Stud Logica |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Mustafa Demirci |
Pointed semi-quantales and lattice-valued topological spaces. |
Fuzzy Sets Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Han-Hing Dang, Peter Höfner |
Automated Higher-order Reasoning about Quantales. |
PAAR@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Pawel Waszkiewicz |
On Domain Theory over Girard Quantales. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Hans Heymans, Isar Stubbe |
Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory. |
Order |
2009 |
DBLP DOI BibTeX RDF |
Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale |
24 | Mark Hopkins |
The Algebraic Approach II: Dioids, Quantales and Monads. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid |
24 | Giulia Battilotti, Giovanni Sambin |
Pretopologies and a uniform presentation of sup-lattices, quantales and frames. |
Ann. Pure Appl. Log. |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Robert Goldblatt |
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
24 | Norihiro Kamide |
On a logic of involutive quantales. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
24 | David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický |
On Quantales and Spectra of C*-Algebras. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
noncommutative space, C*-algebra, noncommutative spectrum, spatial quantale |
24 | Pedro Resende |
Quantales, finite observations and strong bisimulation. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Gerard Allwein, Wendy MacCaull |
A Kripke Semantics for the Logic of Gelfand Quantales. |
Stud Logica |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Marcelo E. Coniglio, Francisco Miraglia |
Modules in the category of sheaves over quantales. |
Ann. Pure Appl. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Marcelo E. Coniglio, Francisco Miraglia |
Non-Commutative Topology and Quantales. |
Stud Logica |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Dominique Larchey-Wendling, Didier Galmiche |
Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic. |
Workshop on Domains |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Ulrich Höhle |
GL-Quantales: Q-Valued Sets and Their Singletons. |
Stud Logica |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Francisco Miraglia, Ugo Solitro |
Sheaves over Right Sided Idempotent Quantales. |
Log. J. IGPL |
1998 |
DBLP DOI BibTeX RDF |
|
24 | J. Wick Pelletier |
Von Neumann Algebras and Hilbert Quantales. |
Appl. Categorical Struct. |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Mario Piazza, Maurizio Castellan |
Quantales and Structural Rules. |
J. Log. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Silvio Valentini |
Representation Theorems for Quantales. |
Math. Log. Q. |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Samson Abramsky, Steven Vickers |
Quantales, Observational Logic and Process Semantics. |
Math. Struct. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Gianfranco Mascari, F. Pucci |
Autonomous Posets and Quantales. |
RAIRO Theor. Informatics Appl. |
1993 |
DBLP DOI BibTeX RDF |
|
24 | David N. Yetter |
Quantales and (Noncommutative) Linear Logic. |
J. Symb. Log. |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Roland Glück, Bernhard Möller, Michel Sintzoff |
A Semiring Approach to Equivalences, Bisimulations and Control. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Mark Hopkins |
The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free |
22 | Jan Paseka |
Rieffel induction and strong Morita equivalence in the context of Hilbert modules. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Peter Höfner, Bernhard Möller |
Towards an Algebra of Hybrid Systems. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Pedro Resende |
Modular Specification of Concurrent Systems with Observational Logic. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
Building Complete Abstract Interpretations in a Linear Logic-based Setting. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|