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}
}

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.