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/lu/lu16.bht:"
download as .bib file
@article{DBLP:journals/lu/AdamatzkyABRW22,
author = {Andrew Adamatzky and
Phil Ayres and
Alexander E. Beasley and
Nic Roberts and
Han A. B. W{\"{o}}sten},
title = {Logics in Fungal Mycelium Networks},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {655--669},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00318-4},
doi = {10.1007/S11787-022-00318-4},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/AdamatzkyABRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/AdlesicC22,
author = {Tin Adlesic and
Vedran Cacic},
title = {A Modern Rigorous Approach to Stratification in {NF/NFU}},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {451--468},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00310-y},
doi = {10.1007/S11787-022-00310-Y},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/AdlesicC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Aranda22,
author = {V{\'{\i}}ctor Aranda},
title = {Completeness: From Husserl to Carnap},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {57--83},
year = {2022},
url = {https://doi.org/10.1007/s11787-021-00283-4},
doi = {10.1007/S11787-021-00283-4},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Aranda22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Aucher22,
author = {Guillaume Aucher},
title = {On the Universality of Atomic and Molecular Logics via Protologics},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {285--322},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00298-5},
doi = {10.1007/S11787-022-00298-5},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Aucher22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Beziau22,
author = {Jean{-}Yves B{\'{e}}ziau},
title = {The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {1--9},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00304-w},
doi = {10.1007/S11787-022-00304-W},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Beziau22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Borisavljevic22,
author = {Mirjana Borisavljevic},
title = {Maximum Segments as Natural Deduction Images of Some Cuts},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {499--533},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00309-5},
doi = {10.1007/S11787-022-00309-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Borisavljevic22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Chatti22,
author = {Saloua Chatti},
title = {Two Squares of Opposition in Two Arabic Treatises: al-Suhraward{\={\i}}
and al-San{\={u}}s{\={\i}}},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {545--580},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00312-w},
doi = {10.1007/S11787-022-00312-W},
timestamp = {Sun, 19 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/Chatti22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Dautovic22,
author = {Sejla Dautovic},
title = {A Probabilistic Logic Between LPP\({}_{\mbox{1}}\) and LPP\({}_{\mbox{2}}\)},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {323--333},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00301-z},
doi = {10.1007/S11787-022-00301-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Dautovic22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Dimitracopoulos22,
author = {Costas Dimitracopoulos},
title = {Analytics vs. Elements},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {237--252},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00297-6},
doi = {10.1007/S11787-022-00297-6},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Dimitracopoulos22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Drugus22,
author = {Ioachim Drugus},
title = {A Universal Algebraic Set Theory Built on Mereology with Applications},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {253--283},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00295-8},
doi = {10.1007/S11787-022-00295-8},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Drugus22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/FermullerLP22,
author = {Christian G. Ferm{\"{u}}ller and
Timo Lang and
Alexandra Pavlova},
title = {From Truth Degree Comparison Games to Sequents-of-Relations Calculi
for G{\"{o}}del Logic},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {221--235},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00300-0},
doi = {10.1007/S11787-022-00300-0},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/FermullerLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Ivanov22,
author = {Ievgen Ivanov},
title = {On Induction Principles for Partial Orders},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {105--147},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00296-7},
doi = {10.1007/S11787-022-00296-7},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Ivanov22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/JarmuzekK22,
author = {Tomasz Jarmuzek and
Mateusz Klonowski},
title = {Tableaux for Logics of Content Relationship and Set-Assignment Semantics},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {195--219},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00293-w},
doi = {10.1007/S11787-022-00293-W},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/JarmuzekK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Kamide22,
author = {Norihiro Kamide},
title = {An Extended Paradefinite Logic Combining Conflation, Paraconsistent
Negation, Classical Negation, and Classical Implication: How to Construct
Nice Gentzen-type Sequent Calculi},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {389--417},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00305-9},
doi = {10.1007/S11787-022-00305-9},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Kamide22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/KrolSB22,
author = {Jerzy Kr{\'{o}}l and
Andrew Schumann and
Krzysztof Bielas},
title = {Brain and Its Universal Logical Model of Multi-Agent Biological Systems},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {671--687},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00319-3},
doi = {10.1007/S11787-022-00319-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/KrolSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Makinson22,
author = {David Makinson},
title = {Frege's Ontological Diagram Completed},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {381--387},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00308-6},
doi = {10.1007/S11787-022-00308-6},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Makinson22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Marcelino22,
author = {S{\'{e}}rgio Marcelino},
title = {An Unexpected Boolean Connective},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {85--103},
year = {2022},
url = {https://doi.org/10.1007/s11787-021-00280-7},
doi = {10.1007/S11787-021-00280-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Marcelino22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Martinez-Ordaz22,
author = {Mar{\'{\i}}a del Rosario Mart{\'{\i}}nez{-}Ordaz},
title = {A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {335--354},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00302-y},
doi = {10.1007/S11787-022-00302-Y},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Martinez-Ordaz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Ramirez22,
author = {Rafael F{\'{e}}lix Mora Ramirez},
title = {A Pragmatic Dissolution of Curry's Paradox},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {149--175},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00294-9},
doi = {10.1007/S11787-022-00294-9},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Ramirez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/RodriguesA22,
author = {Abilio Rodrigues and
Henrique Antunes},
title = {First-order Logics of Evidence and Truth with Constant and Variable
Domains},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {419--449},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00306-8},
doi = {10.1007/S11787-022-00306-8},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/RodriguesA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/RumenovaT22,
author = {Yana Rumenova and
Tinko Tinchev},
title = {Modal Definability: Two Commuting Equivalence Relations},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {177--194},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00299-4},
doi = {10.1007/S11787-022-00299-4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/RumenovaT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Russo22,
author = {Ciro Russo},
title = {Coproduct and Amalgamation of Deductive Systems by Means of Ordered
Algebras},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {355--380},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00303-x},
doi = {10.1007/S11787-022-00303-X},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Russo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Schang22,
author = {Fabien Schang},
title = {Things May Not Be Simple: On Wittgenstein's Internal Relations},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {621--641},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00314-8},
doi = {10.1007/S11787-022-00314-8},
timestamp = {Sun, 19 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/Schang22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/SchumannL22,
author = {Andrew Schumann and
Jens Lemanski},
title = {Logic, Spatial Algorithms and Visual Reasoning},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {535--543},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00311-x},
doi = {10.1007/S11787-022-00311-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/SchumannL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/ShirakawaSI22,
author = {Tomohiro Shirakawa and
Hiroshi Sato and
Kazuki Ishimaru},
title = {Observation of Autonomous Behavioral Selection in Physarum Plasmodium},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {643--653},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00317-5},
doi = {10.1007/S11787-022-00317-5},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/ShirakawaSI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Sikic22,
author = {Zvonimir Sikic},
title = {Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {11--26},
year = {2022},
url = {https://doi.org/10.1007/s11787-021-00279-0},
doi = {10.1007/S11787-021-00279-0},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Sikic22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/SmessaertD22,
author = {Hans Smessaert and
Lorenz Demey},
title = {On the Logical Geometry of Geometric Angles},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {581--601},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00315-7},
doi = {10.1007/S11787-022-00315-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/SmessaertD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/SrinivasanP22,
author = {Bama Srinivasan and
Ranjani Parthasarathi},
title = {A Formalism to Specify Unambiguous Instructions Inspired by M{\={\i}}m{\={a}}{\.{m}}s{\={a}}
in Computational Settings},
journal = {Logica Universalis},
volume = {16},
number = {1-2},
pages = {27--55},
year = {2022},
url = {https://doi.org/10.1007/s11787-021-00281-6},
doi = {10.1007/S11787-021-00281-6},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/SrinivasanP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Tokuo22,
author = {Kenji Tokuo},
title = {Natural Deduction for Quantum Logic},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {469--497},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00307-7},
doi = {10.1007/S11787-022-00307-7},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/Tokuo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Trybus22,
author = {Adam Trybus},
title = {Three-Dimensional Affine Spatial Logics},
journal = {Logica Universalis},
volume = {16},
number = {4},
pages = {603--620},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00313-9},
doi = {10.1007/S11787-022-00313-9},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/Trybus22.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-06-06 16:21 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:
