BibTeX records: J. Patricio Díaz Varela

download as .bib file

@article{DBLP:journals/fss/VarelaL24,
  author       = {J. Patricio D{\'{\i}}az Varela and
                  Noem{\'{\i}} Lubomirsky},
  title        = {Functional description of free algebras in subvarieties of BL-algebras},
  journal      = {Fuzzy Sets Syst.},
  volume       = {480},
  pages        = {108864},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.fss.2024.108864},
  doi          = {10.1016/J.FSS.2024.108864},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/VarelaL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/CampercholiCVG23,
  author       = {Miguel Campercholi and
                  Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Joan Gispert},
  title        = {Algebraic Expansions of Logics},
  journal      = {J. Symb. Log.},
  volume       = {88},
  number       = {1},
  pages        = {74--92},
  year         = {2023},
  url          = {https://doi.org/10.1017/jsl.2022.47},
  doi          = {10.1017/JSL.2022.47},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/CampercholiCVG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fss/CastanoCVR21,
  author       = {Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  Cecilia Cimadamore and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Laura A. Rueda},
  title        = {Completeness for monadic fuzzy logics via functional algebras},
  journal      = {Fuzzy Sets Syst.},
  volume       = {407},
  pages        = {161--174},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.fss.2020.02.002},
  doi          = {10.1016/J.FSS.2020.02.002},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/CastanoCVR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/CastanoCVS21,
  author       = {Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  Valeria Casta{\~{n}}o and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Marcela Mu{\~{n}}oz Santis},
  title        = {Varieties of pseudocomplemented Kleene algebras},
  journal      = {Math. Log. Q.},
  volume       = {67},
  number       = {1},
  pages        = {88--104},
  year         = {2021},
  url          = {https://doi.org/10.1002/malq.202000025},
  doi          = {10.1002/MALQ.202000025},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/CastanoCVS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CastanoCVR21,
  author       = {Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  Cecilia Cimadamore and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Laura A. Rueda},
  title        = {An Algebraic Study of S5-Modal G{\"{o}}del Logic},
  journal      = {Stud Logica},
  volume       = {109},
  number       = {5},
  pages        = {937--967},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11225-020-09934-x},
  doi          = {10.1007/S11225-020-09934-X},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/CastanoCVR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fss/CastanoCVR17,
  author       = {Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  Cecilia Cimadamore and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Laura A. Rueda},
  title        = {Monadic BL-algebras: The equivalent algebraic semantics of H{\'{a}}jek's
                  monadic fuzzy logic},
  journal      = {Fuzzy Sets Syst.},
  volume       = {320},
  pages        = {40--59},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.fss.2016.12.007},
  doi          = {10.1016/J.FSS.2016.12.007},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/CastanoCVR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/CampercholiCV16,
  author       = {Miguel Campercholi and
                  Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela},
  title        = {Algebraic functions in {\L}ukasiewicz implication algebras},
  journal      = {Int. J. Algebra Comput.},
  volume       = {26},
  number       = {2},
  pages        = {223--247},
  year         = {2016},
  url          = {https://doi.org/10.1142/S0218196716500119},
  doi          = {10.1142/S0218196716500119},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijac/CampercholiCV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/order/AbadCV13,
  author       = {Manuel Abad and
                  Juan Manuel Cornejo and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela},
  title        = {Semi-Heyting Algebras Term-equivalent to G{\"{o}}del Algebras},
  journal      = {Order},
  volume       = {30},
  number       = {2},
  pages        = {625--642},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11083-012-9266-0},
  doi          = {10.1007/S11083-012-9266-0},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/AbadCV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/AbadCV12,
  author       = {Manuel Abad and
                  Juan Manuel Cornejo and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Free-decomposability in varieties of semi-Heyting algebras},
  journal      = {Math. Log. Q.},
  volume       = {58},
  number       = {3},
  pages        = {168--176},
  year         = {2012},
  url          = {https://doi.org/10.1002/malq.201020092},
  doi          = {10.1002/MALQ.201020092},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/AbadCV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/AbadCV11,
  author       = {Manuel Abad and
                  Juan Manuel Cornejo and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela},
  title        = {The Variety of Semi-Heyting Algebras Satisfying the equation {(0}
                  {\(\rightarrow\)} 1)\({}^{\mbox{*}}\) v {(0} {\(\rightarrow\)} 1)\({}^{\mbox{**}}\)
                  {\(\approx\)} 1},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {75--90},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/05-Abad.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AbadCV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CimadamoreV11,
  author       = {Cecilia Cimadamore and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Monadic MV-algebras are Equivalent to Monadic \emph{{\(\mathscr{l}\)}}-groups
                  with Strong Unit},
  journal      = {Stud Logica},
  volume       = {98},
  number       = {1-2},
  pages        = {175--201},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9332-4},
  doi          = {10.1007/S11225-011-9332-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/CimadamoreV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CastanoVT11,
  author       = {Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  J. Patricio D{\'{\i}}az Varela and
                  Antoni Torrens Torrell},
  title        = {Free-decomposability in Varieties of Pseudocomplemented Residuated
                  Lattices},
  journal      = {Stud Logica},
  volume       = {98},
  number       = {1-2},
  pages        = {223--235},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9326-2},
  doi          = {10.1007/S11225-011-9326-2},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/CastanoVT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CampercholiCV11,
  author       = {Miguel Campercholi and
                  Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Quasivarieties and Congruence Permutability of {\L}ukasiewicz Implication
                  Algebras},
  journal      = {Stud Logica},
  volume       = {98},
  number       = {1-2},
  pages        = {267--283},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9329-z},
  doi          = {10.1007/S11225-011-9329-Z},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/CampercholiCV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/VarelaM11,
  author       = {J. Patricio D{\'{\i}}az Varela and
                  Blanca Fernanda L{\'{o}}pez Martinolich},
  title        = {Resolution of Algebraic Systems of Equations in the Variety of Cyclic
                  Post Algebras},
  journal      = {Stud Logica},
  volume       = {98},
  number       = {1-2},
  pages        = {307--330},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9330-6},
  doi          = {10.1007/S11225-011-9330-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/VarelaM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/soco/CastanoVT11,
  author       = {Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Antoni Torrens Torrell},
  title        = {Indecomposability of free algebras in some subvarieties of residuated
                  lattices and their bounded subreducts},
  journal      = {Soft Comput.},
  volume       = {15},
  number       = {7},
  pages        = {1449--1455},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00500-010-0683-y},
  doi          = {10.1007/S00500-010-0683-Y},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/soco/CastanoVT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/AbadCV10,
  author       = {Manuel Abad and
                  Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Zariski-type topology for implication algebras},
  journal      = {Math. Log. Q.},
  volume       = {56},
  number       = {3},
  pages        = {299--309},
  year         = {2010},
  url          = {https://doi.org/10.1002/malq.200910012},
  doi          = {10.1002/MALQ.200910012},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/AbadCV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/soco/AbadCV10,
  author       = {Manuel Abad and
                  Juan Manuel Cornejo and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {The variety generated by semi-Heyting chains},
  journal      = {Soft Comput.},
  volume       = {15},
  number       = {4},
  pages        = {721--728},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00500-010-0604-0},
  doi          = {10.1007/S00500-010-0604-0},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/AbadCV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/order/CastanoV09,
  author       = {Diego Nicol{\'{a}}s Casta{\~{n}}o and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Conditions for Permutability of Congruences in Implication Algebras},
  journal      = {Order},
  volume       = {26},
  number       = {3},
  pages        = {245--254},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11083-009-9123-y},
  doi          = {10.1007/S11083-009-9123-Y},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/order/CastanoV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/soco/AbadV09,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Factor congruences in \emph{BCK} -algebras},
  journal      = {Soft Comput.},
  volume       = {13},
  number       = {10},
  pages        = {1007--1012},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00500-008-0346-4},
  doi          = {10.1007/S00500-008-0346-4},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/AbadV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Varela08,
  author       = {J. Patricio D{\'{\i}}az Varela},
  title        = {Free Lukasiewicz implication algebras},
  journal      = {Arch. Math. Log.},
  volume       = {47},
  number       = {1},
  pages        = {25--33},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00153-008-0067-5},
  doi          = {10.1007/S00153-008-0067-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Varela08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mvl/AbadVRS07,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela and
                  Laura A. Rueda and
                  Ana Maria Suard{\'{\i}}az},
  title        = {The Lattice of Subvarieties of Monadic n-valued Loukasiewicz-Moisil
                  Algebras},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {13},
  number       = {1-2},
  pages        = {79--88},
  year         = {2007},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-13-number-1-2-2007/mvlsc-13-1-2-p-79-88/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/AbadVRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/AbadVRS07,
  author       = {Manuel Abad and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Laura A. Rueda and
                  Ana Maria Suard{\'{\i}}az},
  title        = {Free three-valued Closure Lukasiewicz Algebras},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {3--17},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-aba-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AbadVRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/VarelaT06,
  author       = {J. Patricio D{\'{\i}}az Varela and
                  Antoni Torrens Torrell},
  title        = {Decomposability of free Lukasiewicz implication algebras},
  journal      = {Arch. Math. Log.},
  volume       = {45},
  number       = {8},
  pages        = {1011--1020},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00153-006-0023-1},
  doi          = {10.1007/S00153-006-0023-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/VarelaT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/order/AbadV06,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Representation of Cubic Lattices by Symmetric Implication Algebras},
  journal      = {Order},
  volume       = {23},
  number       = {2-3},
  pages        = {173--178},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11083-006-9041-1},
  doi          = {10.1007/S11083-006-9041-1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/AbadV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/AbadVZ03,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela and
                  Marta A. Zander},
  title        = {Boolean Algebras with a Distinguished Automorphism},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {101--112},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-aba-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AbadVZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Varela01,
  author       = {J. Patricio D{\'{\i}}az Varela},
  title        = {On subvarieties of symmetric closure algebras},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {108},
  number       = {1-3},
  pages        = {137--152},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00043-9},
  doi          = {10.1016/S0168-0072(00)00043-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Varela01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dm/AbadV00,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Free \emph{Q}-distributive lattices from meet semilattices},
  journal      = {Discret. Math.},
  volume       = {224},
  number       = {1-3},
  pages        = {1--14},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0012-365X(00)00106-0},
  doi          = {10.1016/S0012-365X(00)00106-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/AbadV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AbadVRS00,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela and
                  Laura A. Rueda and
                  Ana Maria Suard{\'{\i}}az},
  title        = {Varieties of Three-Valued Heyting Algebras with a Quantifier},
  journal      = {Stud Logica},
  volume       = {65},
  number       = {2},
  pages        = {181--198},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005211613539},
  doi          = {10.1023/A:1005211613539},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AbadVRS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/AbadV99,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela},
  title        = {Free double Ockham algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {9},
  number       = {1},
  pages        = {173--183},
  year         = {1999},
  url          = {https://doi.org/10.1080/11663081.1999.10510963},
  doi          = {10.1080/11663081.1999.10510963},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AbadV99.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.