default search action
Search dblp for Publications
export results for "toc:db/journals/jancl/jancl29.bht:"
@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} }
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.