Aguzzoli Stefano & Gerla Brunella, Finite-valued reductions of...
philpapers.org
In this paper we present a method to reduce the decision problem of several infinite-valued propositional logics to their finite-valued counterparts. We apply...
Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra, De Finetti’s...
philpapers.org
We extend de Finetti’s No-Dutch-Book Criterion to Gödel infinite-valued propositional logic
Stefano Aguzzoli & Brunella Gerla, Probability Measures in the ...philpapers.org › rec › AGUPMI-2
philpapers.org
We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic.
Brunella Gerla - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Dissertation: Many-Valued Logics Based on Continuous t-Norms and Their Functional Representation. Mathematics Subject Classification: 03—Mathematical ...
Papers matching 'Brunella Gerla' - PhilPapers
cdpvm.cdp.uwo.ca
Over Finite Distributive Lattices. Annals of Pure and Applied Logic
Advances in Fuzzy Logic and Technology | Ebook | Ellibs...
www.ellibs.com
21. Uninorms on Bounded Lattices – Recent Development Slavka Bodjanova, Martin Kalina Kleene Algebras as Sequences of Orthopairs Stefania Boffa, Brunella Gerla Method of Maximum Two-Commodity Flow Search in a Fuzzy Temporal Graph Alexander Bozhenyuk, Evgeniya Gerasimenko, Igor Rozenberg.
On Some Axiomatic Extensions of the Monoidal T-Norm Based Logic Mtl:...
books.google.de
The scientific area this thesis belongs to is many-valued logics: this meanslogics in which, from the semantical point of view, we have
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers...
books.google.com.ua
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The...
Full text of "The Logic of CMV-Algebras"
archive.org
... Italy {adinola, cirusso}@unisa. it Brunella Gerla Dipartimento di Informatica e single variable fragment of some interesting — yet unknown — expansion of ...
[PDF] Quantale Modules, with Applications to Logic and Image Processingarxiv.org › pdf
arxiv.org
26 Aug · Ciabattoni, Pietro Codara, Tommaso Flaminio, Brunella Gerla, ... best confectioner within a radius of hundreds light-years; e.g. a Sacher ...
[PDF] Abstract Booklet - Theory and Logic Groupwww.logic.at › latd2014 › abstract_booklet_final
www.logic.at
our intuitive grasp of a mathematical structure—e.g. PA for arithmetic—we thereby ... [3] Brunella Gerla, Rational Lukasiewicz logic and DMV-algebras, ...
[ ] Rational Lukasiewicz logic and DMV-algebras
arxiv.org
Submission history. From: Brunella Gerla [view email] [v1] Fri, 23 Nov :44:22 GMT (16kb) [v2] Mon, 3 Dec :13:16 GMT (0kb,I).
[PDF] FUZZY-SET BASED LOGICS - IIIA-CSICwww.iiia.csic.es › media › filer_public › iiia
www.iiia.csic.es
guistic expression of knowledge (e.g., lack of precision, sloppiness, limitation of the ... [Cintula and Gerla, 2004] Petr Cintula and Brunella Gerla.
dblp: IEEE International Symposium on Multiple-Valued Logic 2004
dblp.uni-trier.de
Bibliographic content of IEEE International Symposium on Multiple-Valued Logic 2004
Brunella Gerla - DBLPdblp.org › Persons
dblp.org
· Stefania Boffa, Brunella Gerla: Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects. Trans. Rough Sets 22: (2020).
Search results for "Paolo Avesani" – FacetedDBLP
dblp.l3s.de
... Brunella Gerla: A Logical Framwork for Fuzzy Collaborative Filtering. FUZZ-IEEE : 2001: DBLP DOI BibTeX RDF: 1: Paolo Avesani, Anna Perini, Francesco Ricci
dblp: Int. Workshop on Fuzzy Logic and Applications 2016
dblp.org
Bibliographic content of Int. Workshop on Fuzzy Logic and Applications 2016
Topology Newsat.yorku.ca › news
at.yorku.ca
Session 2: Topology in Algebra (e.g. Topological Groups, Topological Semigroups) Organizers: Stefano Aguzzoli (Milan), Brunella Gerla (Varese), ...
Advances in Fuzzy Logic and Technology Springerlink.springer.com › content › pdf
link.springer.com
11 Sept · Stefania Boffa and Brunella Gerla ... Intelligent Control Group, Centre for Automation and Robotics UPM - CSIC,.
CiteA - OeisWiki
oeis.org
... http://www.csub.edu/~caguilar24/papers/tac2014.pdf; Stefano Aguzzoli, Brunella Gerla and Corrado Manara, Poset Representation for Goedel and Nilpotent Minimum Logics, in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lecture Notes in Computer Science, Volume , Springer-Verlag ...
Adding Real Coefficients to Łukasiewicz Logic: An Application to...
link.springer.com
In this paper we shall deal with an extension of Łukasiewicz propositional logic obtained by considering scalar multiplication with real numbers, and we focus...
CV sketch – Tommaso Flaminio
tomflaminio.wordpress.com
On date I obtained the Italian national scientific habilitation in Logic, History and Philosophy of Science (sec. 11/C2) for the associate professorship (seconda fascia). Coordination. Since January I am coordinating, together with Brunella Gerla and Diego Valota (web-admin) the EUSFLAT working group on ...
Alle Infos zum Namen "Brunella Gerla"
publications - Google Sites
sites.google.com
Adding Real Coefficients to Lukasiewicz Logic: An Application to Neural Networks, (with Brunella Gerla and Antonio Di Nola), F. Masulli, G. Pasi, and R. Yager ...
Luca Spada - Google Scholar
scholar.google.it
Associate Professor of Mathematical Logic, Department of Mathematics, University of Salerno - 198 citazioni - Mathematical logic - many-valued logic...
Petr Cintula - Google Scholar
scholar.google.es
Institute of Computer Science, Czech Academy of Sciences - Cited by - logic - mathematical logic - algebraic logic - non-classical logics -...
Brunella Gerla - Dipartimento di Scienze teoriche e applicate - DiSTAwww.dista.uninsubria.it › ~brunella
www.dista.uninsubria.it
Former coordinator of the EUSFLAT Working group on mathematical fuzzy logic. Scientific interests: Algebraic structures related with many-valued propositional ...Missing: EGS ELECTRICAL Former coordinator of the EUSFLAT Working group on mathematical fuzzy logic. Scientific interests: Algebraic structures related with many-valued propositional ... Missing: EGS ELECTRICAL
(PDF) Structure of the algebras of NMG-formulas | Brunella Gerla -...
www.academia.edu
Abstract Extending previous results on Gödel and Nilpotent Minimum t-norm logics, we introduce a concrete representation for the logic NMG, whose standard...
(PDF) Complexity issues in basic logic | Brunella Gerla - Academia.edu
www.academia.edu
By Brunella Gerla. We survey complexity results concerning a family of propositional many-valued logics. In particular, we shall address satisfiability and...
Poset Representation for Gödel and Nilpotent Minimum Logics |...
www.springerprofessional.de
MTL is the logic of all left-continuous t-norms and their residua. Its algebraic semantics is constituted by the variety
Accepted Papers (ECSQARU) | ISIPTA '17 – ECSQARU 2017
www2.idsia.ch
Proceedings available on Springer LNAI (Volume ). Click on the cells to see the abstracts of the papers, the links to the slides, and the Springer links. Lina Abassi and Imen Boukhris. Iterative ... Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla and Diego Valota. Probability measures in GödelΔ logic.
Ioana Leustean
cs.unibuc.ro
Adding Real Coefficients to Lukasiewicz Logic: An Application to Neural Networks, (with Brunella Gerla and Antonio Di Nola), F. Masulli, G. Pasi, and R. Yager ...
Logic Colloquium • Scientific program
lc18.uniud.it
Temporal and Multivalued Logics Chairs: Martin Lange, Brunella Gerla · Agi Kurucz, King's College London. Daniele Mundici, Università degli Studi di Firenze.
CiteSeerX — Citation Query Algebraic analysis of many valued logics
citeseer.uark.edu
CiteSeerX - Scientific documents that cite the following paper: Algebraic analysis of many valued logics
SYSMICS Kick-Off Meetinglogica.dmi.unisa.it › sysmics16 › committees
logica.dmi.unisa.it
... Petr Cintula: (Czech Academy of Sciences); Pilar Dellunde: (Autonomous University of Barcelona); Brunella Gerla: (University of Insubria) ...
Special sessions - ECSQARU ISIBwww.isib.cnr.it › ecsqaru2009 › sessions
www.isib.cnr.it
Mathematical fuzzy logic (organizers: Stefano Aguzzoli, Brunella Gerla, Lluís Godo, Vincenzo Marra, Franco Montagna). This session includes (but is not ...
States of finite GBL-algebras with monoidal sum
www.infona.pl
Generalized BL-algebras, i.e. divisible residuated lattices, provide the semantics for a generalization of Basic Logic where the axiom of prelinearity does not...
Vincenzo Marra - Publications List - PublicationsList.orgpublicationslist.org › vincenzo
publicationslist.org
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra (2008) Gödel algebras free over finite distributive lattices Annals of Pure and Applied Logic 155:
DataCite Search
search.datacite.org
The Logic of CMV-Algebras. Antonio Di Nola, Brunella Gerla & Ciro Russo. Work published via Unpublished. https://doi.org rg Cite. Data Center. ResearchGate. Member. ResearchGate. Download. DataCite XML · RDF-XML · Schema.org JSON-LD · Citeproc JSON. Share on. twitter facebook.
The 10th Conference of the European Society for Fuzzy Logic and...
www.eusflat2017.ibspan.waw.pl
Organizers. Brunella Gerla. Universitá degli Studi dell'Insubria, Italy brunella. . Tommaso Flaminio. Universitá degli Studi dell'Insubria, Italy ...
Stefano Aguzzoli's Publications
aguzzoli.di.unimi.it
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Gödel Algebras Free over Finite Distributive Lattices, Annals of Pure and Applied Logic, 155, pp
Daniele Mundici's Home Page (Updated: December 2018)
web.math.unifi.it
Trends in Logic, Kluwer-Springer, Book Series Editor, present Algebraic techniques in space decomposition; Brunella Gerla, Many-valued logics of ...
First European Summer School on Fuzzy Logic and Applications | Lake...
sfla.lakecomoschool.org
Gabriella Pasi (Università di Milano Bicocca, Italy); Brunella Gerla (Università dell'Insubria, Varese, Italy); Stefania Marrara (Università di Milano Bicocca, Italy); Marco Viviani (Università di Milano Bicocca, Italy). Scientific committee. Gabriella Pasi (Università di Milano Bicocca, Italy); Didier Dubois (Université Paul Sabatier, ...
Verwandte Suchanfragen zu Brunella Gerla
Anna Rita Stefania Boffa Ioana Leustean | Luca Spada Andrea Gerla |
Personen Vorname "Brunella" (56) Name "Gerla" (36) |
sortiert nach Relevanz / Datum