BibTeX records: Lawrence Peter Belluce

download as .bib file

@article{DBLP:journals/logcom/BelluceNL15,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Giacomo Lenzi},
  title        = {On generalizing the Nullstellensatz for {MV} algebras},
  journal      = {J. Log. Comput.},
  volume       = {25},
  number       = {3},
  pages        = {701--717},
  year         = {2015},
  url          = {https://doi.org/10.1093/logcom/exu042},
  doi          = {10.1093/LOGCOM/EXU042},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BelluceNL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BelluceNL14,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Giacomo Lenzi},
  title        = {Algebraic Geometry for MV-Algebras},
  journal      = {J. Symb. Log.},
  volume       = {79},
  number       = {4},
  pages        = {1061--1091},
  year         = {2014},
  url          = {https://doi.org/10.1017/jsl.2014.53},
  doi          = {10.1017/JSL.2014.53},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BelluceNL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/order/BelluceNF13,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Anna R. Ferraioli},
  title        = {MV-semirings and their Sheaf Representations},
  journal      = {Order},
  volume       = {30},
  number       = {1},
  pages        = {165--179},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11083-011-9234-0},
  doi          = {10.1007/S11083-011-9234-0},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/BelluceNF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifsa/BelluceNL13,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Giacomo Lenzi},
  title        = {Fuzzy Logic as a geometry},
  booktitle    = {Joint {IFSA} World Congress and {NAFIPS} Annual Meeting, {IFSA/NAFIPS}
                  2013, Edmonton, Alberta, Canada, June 24-28, 2013},
  pages        = {1249--1251},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/IFSA-NAFIPS.2013.6608580},
  doi          = {10.1109/IFSA-NAFIPS.2013.6608580},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifsa/BelluceNL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/BelluceN09,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola},
  title        = {Commutative rings whose ideals form an MV-algebra},
  journal      = {Math. Log. Q.},
  volume       = {55},
  number       = {5},
  pages        = {468--486},
  year         = {2009},
  url          = {https://doi.org/10.1002/malq.200810012},
  doi          = {10.1002/MALQ.200810012},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/BelluceN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/order/BelluceNG08,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Brunella Gerla},
  title        = {Abelian \emph{\emph{l}} -Groups with Strong Unit and Perfect MV-Algebras},
  journal      = {Order},
  volume       = {25},
  number       = {4},
  pages        = {387--401},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11083-008-9103-7},
  doi          = {10.1007/S11083-008-9103-7},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/BelluceNG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acs/BelluceNG07,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Brunella Gerla},
  title        = {Perfect \emph{MV} -algebras and their Logic},
  journal      = {Appl. Categorical Struct.},
  volume       = {15},
  number       = {1-2},
  pages        = {135--151},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10485-007-9069-4},
  doi          = {10.1007/S10485-007-9069-4},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acs/BelluceNG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BelluceN07,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola},
  title        = {Simplicial structures in MV-algebras and logic},
  journal      = {J. Symb. Log.},
  volume       = {72},
  number       = {2},
  pages        = {584--600},
  year         = {2007},
  url          = {https://doi.org/10.2178/jsl/1185803624},
  doi          = {10.2178/JSL/1185803624},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BelluceN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eusflat/BelluceNG07,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Brunella Gerla},
  editor       = {Martin Stepnicka and
                  Vil{\'{e}}m Nov{\'{a}}k and
                  Ulrich Bodenhofer},
  title        = {The Logic of Perfect MV-algebras},
  booktitle    = {New Dimensions in Fuzzy Logic and Related Technologies. Proceedings
                  of the 5th {EUSFLAT} Conference, Ostrava, Czech Republic, September
                  11-14, 2007, Volume 2: Regular Sessions},
  pages        = {195--199},
  publisher    = {Universitas Ostraviensis},
  year         = {2007},
  url          = {http://www.eusflat.org/proceedings/EUSFLAT\_2007/papers/Gerla\_Brunella\_(74).pdf},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusflat/BelluceNG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BelluceNL06,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  Ada Lettieri},
  editor       = {Stefano Aguzzoli and
                  Agata Ciabattoni and
                  Brunella Gerla and
                  Corrado Manara and
                  Vincenzo Marra},
  title        = {Symmetric MV-Algebras},
  booktitle    = {Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers
                  in Honor of Daniele Mundici on the Occasion of His 60th birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4460},
  pages        = {30--49},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-75939-3\_3},
  doi          = {10.1007/978-3-540-75939-3\_3},
  timestamp    = {Sun, 25 Oct 2020 23:08:31 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BelluceNL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BelluceGL05,
  author       = {Lawrence Peter Belluce and
                  Revaz Grigolia and
                  Ada Lettieri},
  title        = {Representations of monadic \emph{MV} -algebras},
  journal      = {Stud Logica},
  volume       = {81},
  number       = {1},
  pages        = {123--144},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-2805-6},
  doi          = {10.1007/S11225-005-2805-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BelluceGL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BelluceN05,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola},
  title        = {Frames and MV-algebras},
  journal      = {Stud Logica},
  volume       = {81},
  number       = {3},
  pages        = {357--385},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-4649-5},
  doi          = {10.1007/S11225-005-4649-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BelluceN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/soco/BelluceL05,
  author       = {Lawrence Peter Belluce and
                  Ada Lettieri},
  title        = {Boolean dominated MV-algebras},
  journal      = {Soft Comput.},
  volume       = {9},
  number       = {7},
  pages        = {536--543},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00500-004-0371-x},
  doi          = {10.1007/S00500-004-0371-X},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/BelluceL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BelluceLS01,
  author       = {Lawrence Peter Belluce and
                  Ada Lettieri and
                  Salvatore Sessa},
  title        = {Products of Ideals in {MV} -algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {11},
  number       = {3-4},
  pages        = {341--350},
  year         = {2001},
  url          = {https://doi.org/10.3166/jancl.11.341-350},
  doi          = {10.3166/JANCL.11.341-350},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BelluceLS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BelluceNG99,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola and
                  George Georgescu},
  title        = {Perfect MV-algebras and l-rings},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {159--172},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510962},
  doi          = {10.1080/11663081.1999.10510962},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BelluceNG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/BelluceN96,
  author       = {Lawrence Peter Belluce and
                  Antonio Di Nola},
  title        = {Yosida Type Representation for Perfect MV-Algebras},
  journal      = {Math. Log. Q.},
  volume       = {42},
  pages        = {551--563},
  year         = {1996},
  url          = {https://doi.org/10.1002/malq.19960420143},
  doi          = {10.1002/MALQ.19960420143},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/BelluceN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/NolaBS94,
  author       = {Antonio Di Nola and
                  Lawrence Peter Belluce and
                  Salvatore Sessa},
  title        = {The Prime Spectrum of an MV-Algebra},
  journal      = {Math. Log. Q.},
  volume       = {40},
  pages        = {331--346},
  year         = {1994},
  url          = {https://doi.org/10.1002/malq.19940400304},
  doi          = {10.1002/MALQ.19940400304},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/NolaBS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Belluce64,
  author       = {Lawrence Peter Belluce},
  title        = {Further Results on Infinite Valued Predicate Logic},
  journal      = {J. Symb. Log.},
  volume       = {29},
  number       = {2},
  pages        = {69--78},
  year         = {1964},
  url          = {https://doi.org/10.2307/2270410},
  doi          = {10.2307/2270410},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Belluce64.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BelluceC63,
  author       = {Lawrence Peter Belluce and
                  C. C. Chang},
  title        = {A Weak Completeness Theorem for Infinite Valued First-Order Logic},
  journal      = {J. Symb. Log.},
  volume       = {28},
  number       = {1},
  pages        = {43--50},
  year         = {1963},
  url          = {https://doi.org/10.2307/2271335},
  doi          = {10.2307/2271335},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BelluceC63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.