Search dblp for Publications

export results for "toc:db/journals/jancl/jancl29.bht:"

 download as .bib file

@article{DBLP:journals/jancl/AgudeloE19,
  author       = {Juan Carlos Agudelo Agudelo and
                  Santiago Echeverri{-}Valencia},
  title        = {Polynomial semantics for modal logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {4},
  pages        = {430--449},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1676004},
  doi          = {10.1080/11663081.2019.1676004},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AgudeloE19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AiguierB19,
  author       = {Marc Aiguier and
                  Isabelle Bloch},
  title        = {Logical dual concepts based on mathematical morphology in stratified
                  institutions: applications to spatial reasoning},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {4},
  pages        = {392--429},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1668678},
  doi          = {10.1080/11663081.2019.1668678},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AiguierB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CaropreseZ19,
  author       = {Luciano Caroprese and
                  Ester Zumpano},
  title        = {Indefinite abductive explanations},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {3},
  pages        = {233--254},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1624349},
  doi          = {10.1080/11663081.2019.1624349},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/CaropreseZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Celani19,
  author       = {Sergio A. Celani},
  title        = {Subordination Tarski algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {3},
  pages        = {288--306},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1638080},
  doi          = {10.1080/11663081.2019.1638080},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Celani19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CiuniC19,
  author       = {Roberto Ciuni and
                  Massimiliano Carrara},
  title        = {Semantical analysis of weak Kleene logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {1},
  pages        = {1--36},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2018.1547514},
  doi          = {10.1080/11663081.2018.1547514},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/CiuniC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/EstradaP19,
  author       = {Alejandro Estrada and
                  Yuri A. Poveda},
  title        = {MVW-rigs and product MV-algebras},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {1},
  pages        = {78--96},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2018.1534795},
  doi          = {10.1080/11663081.2018.1534795},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/EstradaP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Gonzalez-Huesca19,
  author       = {Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca and
                  Favio Ezequiel Miranda{-}Perea and
                  P. Selene Linares{-}Ar{\'{e}}valo},
  title        = {Axiomatic and dual systems for constructive necessity, a formally
                  verified equivalence},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {3},
  pages        = {255--287},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1647653},
  doi          = {10.1080/11663081.2019.1647653},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Gonzalez-Huesca19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GrigorievP19,
  author       = {Oleg Grigoriev and
                  Yaroslav I. Petrukhin},
  title        = {Two proofs of the algebraic completeness theorem for multilattice
                  logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {4},
  pages        = {358--381},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1647654},
  doi          = {10.1080/11663081.2019.1647654},
  timestamp    = {Sat, 07 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GrigorievP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Hartonas19,
  author       = {Chrysafis Hartonas},
  title        = {Lattice logic as a fragment of (2-sorted) residuated modal logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {2},
  pages        = {152--170},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2018.1547515},
  doi          = {10.1080/11663081.2018.1547515},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Hartonas19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MillsonS19,
  author       = {Jared Millson and
                  Christian Stra{\ss}er},
  title        = {A logic for best explanations},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {2},
  pages        = {184--231},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1591108},
  doi          = {10.1080/11663081.2019.1591108},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/MillsonS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Pailos19,
  author       = {Federico Matias Pailos},
  title        = {A family of metainferential logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {1},
  pages        = {97--120},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2018.1534486},
  doi          = {10.1080/11663081.2018.1534486},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Pailos19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Peterson19,
  author       = {Clayton Peterson},
  title        = {Monoidal logics: completeness and classical systems},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {2},
  pages        = {121--151},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2018.1547513},
  doi          = {10.1080/11663081.2018.1547513},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Peterson19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/PetrukhinS19,
  author       = {Yaroslav I. Petrukhin and
                  Vasily Shangin},
  title        = {On Vidal's trivalent explanations for defective conditional in mathematics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {1},
  pages        = {64--77},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2018.1534488},
  doi          = {10.1080/11663081.2018.1534488},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/PetrukhinS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/PooksookDSS19,
  author       = {Jiraporn Pooksook and
                  Phan Minh Dung and
                  Ken Satoh and
                  Giovanni Sartor},
  title        = {Modelling last-act attempted crime in criminal law},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {4},
  pages        = {327--357},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1647652},
  doi          = {10.1080/11663081.2019.1647652},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/PooksookDSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/RoblesM19,
  author       = {Gemma Robles and
                  Jos{\'{e}} M. M{\'{e}}ndez},
  title        = {Belnap-Dunn semantics for natural implicative expansions of Kleene's
                  strong three-valued matrix with two designated values},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {1},
  pages        = {37--63},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2018.1534487},
  doi          = {10.1080/11663081.2018.1534487},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/RoblesM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/RoblesSM19,
  author       = {Gemma Robles and
                  Francisco Salto and
                  Jos{\'{e}} M. M{\'{e}}ndez},
  title        = {Belnap-Dunn semantics for natural implicative expansions of Kleene's
                  strong three-valued matrix {II.} Only one designated value},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {3},
  pages        = {307--325},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1644079},
  doi          = {10.1080/11663081.2019.1644079},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/RoblesSM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Trybus19,
  author       = {Adam Trybus},
  title        = {n-valued maximal paraconsistent matrices},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {2},
  pages        = {171--183},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1578602},
  doi          = {10.1080/11663081.2019.1578602},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Trybus19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/X19,
  title        = {Correction},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {1},
  pages        = {I},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1574254},
  doi          = {10.1080/11663081.2019.1574254},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/X19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Zamansky19,
  author       = {Anna Zamansky},
  title        = {On recent applications of paraconsistent logic: an exploratory literature
                  review},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {29},
  number       = {4},
  pages        = {382--391},
  year         = {2019},
  url          = {https://doi.org/10.1080/11663081.2019.1656393},
  doi          = {10.1080/11663081.2019.1656393},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Zamansky19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics