Search results for "quantales"

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