BibTeX records: Manuel Abad

download as .bib file

@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/AbadP11,
  author       = {Manuel Abad and
                  Alejandro Petrovich},
  title        = {Editorial Introduction},
  journal      = {Stud Logica},
  volume       = {98},
  number       = {1-2},
  pages        = {1--3},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9319-1},
  doi          = {10.1007/S11225-011-9319-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AbadP11.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/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/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/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/MonteiroASSZ06,
  author       = {Luiz F. Monteiro and
                  Manuel Abad and
                  Sonia Savini and
                  Julio Sewald and
                  Marta A. Zander},
  title        = {Subalgebras of a Finite Monadic Boolean Algebra},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {199--206},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/10-monteiro.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/MonteiroASSZ06.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/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}
}

@article{DBLP:journals/order/MonteiroASS99,
  author       = {Luiz F. Monteiro and
                  Manuel Abad and
                  Sonia Savini and
                  Julio Sewald},
  title        = {Notes on Free Monadic Boolean Algebras},
  journal      = {Order},
  volume       = {16},
  number       = {3},
  pages        = {277--289},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1006495818485},
  doi          = {10.1023/A:1006495818485},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/MonteiroASS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dm/MonteiroASS98,
  author       = {Luiz F. Monteiro and
                  Manuel Abad and
                  Sonia Savini and
                  Julio Sewald},
  title        = {Finite free generating sets},
  journal      = {Discret. Math.},
  volume       = {189},
  number       = {1-3},
  pages        = {177--189},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0012-365X(98)00010-7},
  doi          = {10.1016/S0012-365X(98)00010-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/MonteiroASS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/AbadFM96,
  author       = {Manuel Abad and
                  Alicia Fern{\'{a}}ndez and
                  Nelli Meske},
  title        = {Free Boolean Correlations Lattices},
  journal      = {Reports Math. Log.},
  volume       = {30},
  pages        = {2--11},
  year         = {1996},
  url          = {https://rml.tcs.uj.edu.pl/rml-30/a-aba-30.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AbadFM96.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.