default search action
Search dblp for Publications
export results for "toc:db/journals/lu/lu16.bht:"
@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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
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.