Search dblp for Publications

export results for "toc:db/journals/sLogica/sLogica71.bht:"

 download as .bib file

@article{DBLP:journals/sLogica/Abrusci02,
  author       = {V. Michele Abrusci},
  title        = {Classical Conservative Extensions of Lambek Calculus},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {277--314},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020560613199},
  doi          = {10.1023/A:1020560613199},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Abrusci02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Arlo-Costa02,
  author       = {Horacio L. Arl{\'{o}}{-}Costa},
  title        = {First Order Extensions of Classical Systems of Modal Logic; The role
                  of the Barcan schemas},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {1},
  pages        = {87--118},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016339125161},
  doi          = {10.1023/A:1016339125161},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Arlo-Costa02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BuszkowskiM02,
  author       = {Wojciech Buszkowski and
                  Michael Moortgat},
  title        = {Editorial Introduction},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {261--275},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020555012290},
  doi          = {10.1023/A:1020555012290},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BuszkowskiM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CasadioL02,
  author       = {Claudia Casadio and
                  Joachim Lambek},
  title        = {A Tale of Four Grammars},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {315--329},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020564714107},
  doi          = {10.1023/A:1020564714107},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/CasadioL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Coecke02,
  author       = {Bob Coecke},
  title        = {Disjunctive Quantum Logic in Dynamic Perspective},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {1},
  pages        = {47--56},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016335024252},
  doi          = {10.1023/A:1016335024252},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Coecke02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/DosenP02,
  author       = {Kosta Dosen and
                  Zoran Petric},
  title        = {Bicartesian Coherence},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {331--353},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020568830946},
  doi          = {10.1023/A:1020568830946},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/DosenP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/EstevaGGM02,
  author       = {Francesc Esteva and
                  Joan Gispert and
                  Llu{\'{\i}}s Godo and
                  Franco Montagna},
  title        = {On the Standard and Rational Completeness of some Axiomatic Extensions
                  of the Monoidal T-norm Logic},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {2},
  pages        = {199--226},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016548805869},
  doi          = {10.1023/A:1016548805869},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/EstevaGGM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GrooteL02,
  author       = {Philippe de Groote and
                  Fran{\c{c}}ois Lamarche},
  title        = {Classical Non-Associative Lambek Calculus},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {355--388},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020520915016},
  doi          = {10.1023/A:1020520915016},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GrooteL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Hajek02,
  author       = {Petr H{\'{a}}jek},
  title        = {A New Small Emendation of G{\"{o}}del's Ontological Proof},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {2},
  pages        = {149--164},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016583920890},
  doi          = {10.1023/A:1016583920890},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Hajek02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Hajek02a,
  author       = {Petr H{\'{a}}jek},
  title        = {Monadic Fuzzy Predicate Logics},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {2},
  pages        = {165--175},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016544704961},
  doi          = {10.1023/A:1016544704961},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Hajek02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Hunter02,
  author       = {Anthony Hunter},
  title        = {Hans Kleine B{\"{u}}ning and Theodor Lettmann, Propositional
                  Logic: Deduction and Algorithms},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {2},
  pages        = {247--258},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016553006778},
  doi          = {10.1023/A:1016553006778},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Hunter02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KanekoNST02,
  author       = {Mamoru Kaneko and
                  Takashi Nagashima and
                  Nobu{-}Yuki Suzuki and
                  Yoshihito Tanaka},
  title        = {A Map of Common Knowledge Logics},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {1},
  pages        = {57--86},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016387008323},
  doi          = {10.1023/A:1016387008323},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KanekoNST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/MacCaullO02,
  author       = {Wendy MacCaull and
                  Ewa Orlowska},
  title        = {Correspondence Results for Relational Proof Systems with Application
                  to the Lambek Calculus},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {389--414},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020572931854},
  doi          = {10.1023/A:1020572931854},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/MacCaullO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/MontagnaO02,
  author       = {Franco Montagna and
                  Hiroakira Ono},
  title        = {Kripke Semantics, Undecidability and Standard Completeness for Esteva
                  and Godo's Logic MTL[forall]},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {2},
  pages        = {227--245},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016500922708},
  doi          = {10.1023/A:1016500922708},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/MontagnaO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/MootP02,
  author       = {Richard Moot and
                  Quintijn Puite},
  title        = {Proof Nets for the Multimodal Lambek Calculus},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {415--442},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020525032763},
  doi          = {10.1023/A:1020525032763},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/MootP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Purdy02,
  author       = {William C. Purdy},
  title        = {Complexity and Nicety of Fluted Logic},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {2},
  pages        = {177--198},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016596721799},
  doi          = {10.1023/A:1016596721799},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Purdy02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/RogersonB02,
  author       = {Susan Rogerson and
                  Sam Butchart},
  title        = {Na{\"{\i}}ve Comprehension and Contracting Implications},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {1},
  pages        = {119--132},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016391109231},
  doi          = {10.1023/A:1016391109231},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/RogersonB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wansing02,
  author       = {Heinrich Wansing},
  title        = {A Rule-Extension of the Non-Associative Lambek Calculus},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {3},
  pages        = {443--451},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020529116833},
  doi          = {10.1023/A:1020529116833},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wansing02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/WeissP02,
  author       = {M. Angela Weiss and
                  Rohit Parikh},
  title        = {Completeness of Certain Bimodal Logics for Subset Spaces},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {1},
  pages        = {1--30},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016372523344},
  doi          = {10.1023/A:1016372523344},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/WeissP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Zielonka02,
  author       = {Wojciech Zielonka},
  title        = {On Reduction Systems Equivalent to The Lambek Calculus with the Empty
                  String},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {1},
  pages        = {31--46},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016382907414},
  doi          = {10.1023/A:1016382907414},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Zielonka02.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.