Search dblp for Publications

export results for "toc:db/journals/lu/lu7.bht:"

 download as .bib file

@article{DBLP:journals/lu/Baltazar13,
  author       = {Pedro Baltazar},
  title        = {Probabilization of Logics: Completeness and Decidability},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {4},
  pages        = {403--440},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0087-8},
  doi          = {10.1007/S11787-013-0087-8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Baltazar13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/BarussW13,
  author       = {Imants Baruss and
                  Robert E. Woodrow},
  title        = {A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an
                  Arbitrary Category can Always be Replaced by Forcing Over a Complete
                  Heyting Algebra},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {3},
  pages        = {323--334},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0084-y},
  doi          = {10.1007/S11787-013-0084-Y},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/BarussW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/BenzmullerP13,
  author       = {Christoph Benzm{\"{u}}ller and
                  Lawrence C. Paulson},
  title        = {Quantified Multimodal Logics in Simple Type Theory},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {7--20},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0052-y},
  doi          = {10.1007/S11787-012-0052-Y},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/BenzmullerP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Bruni13,
  author       = {Riccardo Bruni},
  title        = {Beppo Levi's Analysis of the Paradoxes},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {2},
  pages        = {211--231},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0072-7},
  doi          = {10.1007/S11787-012-0072-7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/Bruni13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Bueno-Soler13,
  author       = {Juliana Bueno{-}Soler},
  title        = {Multimodal Incompleteness Under Weak Negations},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {21--31},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0075-4},
  doi          = {10.1007/S11787-012-0075-4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Bueno-Soler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/CaleiroVV13,
  author       = {Carlos Caleiro and
                  Luca Vigan{\`{o}} and
                  Marco Volpe},
  title        = {On the Mosaic Method for Many-Dimensional Modal Logics: {A} Case Study
                  Combining Tense and Modal Operators},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {33--69},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0074-5},
  doi          = {10.1007/S11787-012-0074-5},
  timestamp    = {Fri, 08 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/CaleiroVV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/CarnielliP13,
  author       = {Walter Alexandre Carnielli and
                  Claudio Pizzi},
  title        = {Special Issue on Multimodal Logics: {A} Preface},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {1--5},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0077-2},
  doi          = {10.1007/S11787-012-0077-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/CarnielliP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Citkin13,
  author       = {Alex Citkin},
  title        = {Characteristic Formulas of Partial Heyting Algebras},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {2},
  pages        = {167--193},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0048-7},
  doi          = {10.1007/S11787-012-0048-7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Citkin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/ConiglioP13,
  author       = {Marcelo E. Coniglio and
                  Newton Marques Peron},
  title        = {Modal Extensions of Sub-classical Logics for Recovering Classical
                  Logic},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {71--86},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0076-3},
  doi          = {10.1007/S11787-012-0076-3},
  timestamp    = {Wed, 19 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/ConiglioP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Cresswell13,
  author       = {Max J. Cresswell},
  title        = {Axiomatising the Prior Future in Predicate Logic},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {87--101},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0073-6},
  doi          = {10.1007/S11787-012-0073-6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Cresswell13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Duval13,
  author       = {Dominique Duval},
  title        = {Deduction as Reduction, from a Categorical Point of View},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {3},
  pages        = {275--289},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0082-0},
  doi          = {10.1007/S11787-013-0082-0},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Duval13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Enqvist13,
  author       = {Sebastian Enqvist},
  title        = {A General Lindstr{\"{o}}m Theorem for Some Normal Modal Logics},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {2},
  pages        = {233--264},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0078-9},
  doi          = {10.1007/S11787-013-0078-9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/Enqvist13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Jacobs13,
  author       = {Bart Jacobs},
  title        = {Dagger Categories of Tame Relations},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {3},
  pages        = {341--370},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0079-8},
  doi          = {10.1007/S11787-013-0079-8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Jacobs13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Johnstone13,
  author       = {Peter T. Johnstone},
  title        = {What do Freyd's Toposes Classify?},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {3},
  pages        = {335--340},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0085-x},
  doi          = {10.1007/S11787-013-0085-X},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Johnstone13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/MaiettiR13,
  author       = {Maria Emilia Maietti and
                  Giuseppe Rosolini},
  title        = {Quotient Completion for the Foundation of Constructive Mathematics},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {3},
  pages        = {371--402},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0080-2},
  doi          = {10.1007/S11787-013-0080-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/MaiettiR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/MontagnaP13,
  author       = {Franco Montagna and
                  Duccio Pianigiani},
  title        = {A Short Note on Essentially {\(\Sigma\)}\({}_{\mbox{1}}\) Sentences},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {103--111},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0070-9},
  doi          = {10.1007/S11787-012-0070-9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/MontagnaP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Ochs13,
  author       = {Eduardo Ochs},
  title        = {Internal Diagrams and Archetypal Reasoning in Category Theory},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {3},
  pages        = {291--321},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0083-z},
  doi          = {10.1007/S11787-013-0083-Z},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/Ochs13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/PaivaR13,
  author       = {Valeria de Paiva and
                  Andrei Rodin},
  title        = {Elements of Categorical Logic: Fifty Years Later},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {3},
  pages        = {265--273},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0086-9},
  doi          = {10.1007/S11787-013-0086-9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/PaivaR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Pizzi13,
  author       = {Claudio Pizzi},
  title        = {Relative Contingency and Bimodality},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {1},
  pages        = {113--123},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0071-8},
  doi          = {10.1007/S11787-012-0071-8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Pizzi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Poggiolesi13,
  author       = {Francesca Poggiolesi},
  title        = {From Single Agent to Multi-Agent via Hypersequents},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {2},
  pages        = {147--166},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0047-8},
  doi          = {10.1007/S11787-012-0047-8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Poggiolesi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/PradeR13,
  author       = {Henri Prade and
                  Gilles Richard},
  title        = {From Analogical Proportion to Logical Proportions},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {4},
  pages        = {441--505},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0089-6},
  doi          = {10.1007/S11787-013-0089-6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/PradeR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Robles13,
  author       = {Gemma Robles},
  title        = {A Routley-Meyer Semantics for G{\"{o}}del 3-Valued Logic and
                  Its Paraconsistent Counterpart},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {4},
  pages        = {507--532},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-013-0088-7},
  doi          = {10.1007/S11787-013-0088-7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Robles13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Studer13,
  author       = {Thomas Studer},
  title        = {A Universal Approach to Guarantee Data Privacy},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {2},
  pages        = {195--209},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0060-y},
  doi          = {10.1007/S11787-012-0060-Y},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/Studer13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/Wallmann13,
  author       = {Christian Wallmann},
  title        = {A Shared Framework for Consequence Operations and Abstract Model Theory},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {2},
  pages        = {125--145},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0069-2},
  doi          = {10.1007/S11787-012-0069-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Wallmann13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.