Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jancl/jancl30.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-09-11 14:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
