Search dblp for Publications

• > Home > Search

@article{DBLP:journals/lu/AiguierL10,
  author       = {Marc Aiguier and
                  Delphine Longuet},
  title        = {Some General Results About Proof Normalization},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {1},
  pages        = {1--29},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0011-4},
  doi          = {10.1007/S11787-010-0011-4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/AiguierL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Beziau10,
  author       = {Jean{-}Yves B{\'{e}}ziau},
  title        = {Preface: Is Logic Universal?},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {2},
  pages        = {161--162},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0021-2},
  doi          = {10.1007/S11787-010-0021-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Beziau10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Bueno-Soler10,
  author       = {Juliana Bueno{-}Soler},
  title        = {Two Semantical Approaches to Paraconsistent Modalities},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {1},
  pages        = {137--160},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0015-0},
  doi          = {10.1007/S11787-010-0015-0},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Bueno-Soler10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Dejnozka10,
  author       = {Jan Dejnozka},
  title        = {The Concept of Relevance and the Logic Diagram Tradition},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {1},
  pages        = {67--135},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0014-1},
  doi          = {10.1007/S11787-010-0014-1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Dejnozka10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Gaines10,
  author       = {Brian R. Gaines},
  title        = {Human Rationality Challenges Universal Logic},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {2},
  pages        = {163--205},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0019-9},
  doi          = {10.1007/S11787-010-0019-9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Gaines10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Kayser10,
  author       = {Daniel Kayser},
  title        = {The Place of Logic in Reasoning},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {2},
  pages        = {225--239},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0017-y},
  doi          = {10.1007/S11787-010-0017-Y},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Kayser10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/KutzML10,
  author       = {Oliver Kutz and
                  Till Mossakowski and
                  Dominik L{\"{u}}cke},
  title        = {Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous
                  Structuring in Ontology Design},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {2},
  pages        = {255--333},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0020-3},
  doi          = {10.1007/S11787-010-0020-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/KutzML10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/McColm10,
  author       = {Gregory L. McColm},
  title        = {Is Logic Necessary?},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {2},
  pages        = {241--254},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0016-z},
  doi          = {10.1007/S11787-010-0016-Z},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/McColm10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Peregrin10,
  author       = {Jaroslav Peregrin},
  title        = {Logic and Natural Selection},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {2},
  pages        = {207--223},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0018-x},
  doi          = {10.1007/S11787-010-0018-X},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Peregrin10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Pynko10,
  author       = {Alexej P. Pynko},
  title        = {Many-Place Sequent Calculi for Finitely-Valued Logics},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {1},
  pages        = {41--66},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0013-2},
  doi          = {10.1007/S11787-010-0013-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Pynko10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/WisniewskiP10,
  author       = {Andrzej Wisniewski and
                  Jerzy Pogonowski},
  title        = {Diagonalization in Double Frames},
  journal      = {Logica Universalis},
  volume       = {4},
  number       = {1},
  pages        = {31--39},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11787-010-0012-3},
  doi          = {10.1007/S11787-010-0012-3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/WisniewskiP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}