![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jancl/jancl30.bht:"
@article{DBLP:journals/jancl/Ahmed20, author = {Tarek Sayed Ahmed}, title = {Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {3}, pages = {223--271}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1801967}, doi = {10.1080/11663081.2020.1801967}, timestamp = {Sat, 29 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Ahmed20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Baldi20, author = {Michele Pra Baldi}, title = {Logics of variable inclusion and the lattice of consequence relations}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {4}, pages = {367--381}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1835330}, doi = {10.1080/11663081.2020.1835330}, timestamp = {Thu, 03 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/Baldi20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/BelikovP20, author = {Alex Belikov and Yaroslav I. Petrukhin}, title = {Exactly true and non-falsity logics meeting infectious ones}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {2}, pages = {93--122}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1751573}, doi = {10.1080/11663081.2020.1751573}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BelikovP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Fjellstad20, author = {Andreas Fjellstad}, title = {Structural proof theory for first-order weak Kleene logics}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {3}, pages = {272--289}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1782593}, doi = {10.1080/11663081.2020.1782593}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Fjellstad20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Hartonas20, author = {Chrysafis Hartonas}, title = {Modal translation of substructural logics}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {1}, pages = {16--49}, year = {2020}, url = {https://doi.org/10.1080/11663081.2019.1703469}, doi = {10.1080/11663081.2019.1703469}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Hartonas20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Lyczak20, author = {Marcin Lyczak}, title = {The logic of modal changes {LMC}}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {1}, pages = {50--67}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1717267}, doi = {10.1080/11663081.2020.1717267}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Lyczak20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Petrukhin20, author = {Yaroslav I. Petrukhin}, title = {Axiomatization of non-associative generalisations of H{\'{a}}jek's {BL} and psBL}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {1}, pages = {1--15}, year = {2020}, url = {https://doi.org/10.1080/11663081.2019.1703468}, doi = {10.1080/11663081.2019.1703468}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Petrukhin20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Primiero20, author = {Giuseppe Primiero}, title = {A logic of negative trust}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {3}, pages = {193--222}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1789404}, doi = {10.1080/11663081.2020.1789404}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Primiero20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/RePST20, author = {Bruno Da R{\'{e}} and Federico Matias Pailos and Dami{\'{a}}n Enrique Szmuc and Paula Teijeiro}, title = {Metainferential duality}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {4}, pages = {312--334}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1826156}, doi = {10.1080/11663081.2020.1826156}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/RePST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Riveret20, author = {R{\'{e}}gis Riveret}, title = {On searching explanatory argumentation graphs}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {2}, pages = {123--192}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1766248}, doi = {10.1080/11663081.2020.1766248}, timestamp = {Sat, 29 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Riveret20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Robles20, author = {Gemma Robles}, title = {A basic quasi-Boolean logic of intuitionistic character}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {4}, pages = {291--311}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1826155}, doi = {10.1080/11663081.2020.1826155}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/Robles20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Roffe20, author = {Ariel Jonathan Roff{\'{e}}}, title = {Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {1}, pages = {68--91}, year = {2020}, url = {https://doi.org/10.1080/11663081.2019.1703467}, doi = {10.1080/11663081.2019.1703467}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Roffe20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Tzouvaras20, author = {Athanassios Tzouvaras}, title = {Algebraic semantics for propositional superposition logic}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {4}, pages = {335--366}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1826157}, doi = {10.1080/11663081.2020.1826157}, timestamp = {Thu, 03 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/Tzouvaras20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/X20, title = {Correction}, journal = {J. Appl. Non Class. Logics}, volume = {30}, number = {2}, pages = {I--II}, year = {2020}, url = {https://doi.org/10.1080/11663081.2020.1781395}, doi = {10.1080/11663081.2020.1781395}, timestamp = {Sat, 29 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/X20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.