Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/AglianoFM07,
  author       = {Paolo Aglian{\`{o}} and
                  Isabel M. A. Ferreirim and
                  Franco Montagna},
  title        = {Basic Hoops: an Algebraic Study of Continuous \emph{t} -norms},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {73--98},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9078-1},
  doi          = {10.1007/S11225-007-9078-1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/AglianoFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Bechet07,
  author       = {Denis B{\'{e}}chet},
  title        = {Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {199--224},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9084-3},
  doi          = {10.1007/S11225-007-9084-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Bechet07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BechetFT07,
  author       = {Denis B{\'{e}}chet and
                  Annie Foret and
                  Isabelle Tellier},
  title        = {Learnability of Pregroup Grammars},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {225--252},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9085-2},
  doi          = {10.1007/S11225-007-9085-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BechetFT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Bendegem07,
  author       = {Jean Paul Van Bendegem},
  title        = {Book Review},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {135--138},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9081-6},
  doi          = {10.1007/S11225-007-9081-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Bendegem07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BlythF07,
  author       = {T. S. Blyth and
                  Jie Fang},
  title        = {Congruence Coherent Symmetric Extended de Morgan Algebras},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {51--63},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9076-3},
  doi          = {10.1007/S11225-007-9076-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BlythF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Buszkowski07,
  author       = {Wojciech Buszkowski},
  title        = {Type Logics and Pregroups},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {145--169},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9083-4},
  doi          = {10.1007/S11225-007-9083-4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Buszkowski07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BuszkowskiP07,
  author       = {Wojciech Buszkowski and
                  Anne Preller},
  title        = {Editorial Introduction},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {139--144},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9082-5},
  doi          = {10.1007/S11225-007-9082-5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BuszkowskiP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Casadio07,
  author       = {Claudia Casadio},
  title        = {Applying Pregroups to Italian Statements and Questions},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {253--268},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9086-1},
  doi          = {10.1007/S11225-007-9086-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Casadio07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Ferenczi07,
  author       = {Mikl{\'{o}}s Ferenczi},
  title        = {Finitary Polyadic Algebras from Cylindric Algebras},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {1--11},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9073-6},
  doi          = {10.1007/S11225-007-9073-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Ferenczi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FleuryQ07,
  author       = {Marie{-}Ren{\'{e}}e Fleury and
                  Myriam Quatrini},
  title        = {A Mixed lambda-calculus},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {269--294},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9089-y},
  doi          = {10.1007/S11225-007-9089-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FleuryQ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FrancezK07,
  author       = {Nissim Francez and
                  Michael Kaminski},
  title        = {Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive
                  Languages},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {295--321},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9088-z},
  doi          = {10.1007/S11225-007-9088-Z},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FrancezK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GabbayS07,
  author       = {Dov M. Gabbay and
                  Andrzej Szalas},
  title        = {Second-Order Quantifier Elimination in Higher-Order Contexts with
                  Applications to the Semantical Analysis of Conditionals},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {37--50},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9075-4},
  doi          = {10.1007/S11225-007-9075-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GabbayS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GiuntiniLP07,
  author       = {Roberto Giuntini and
                  Antonio Ledda and
                  Francesco Paoli},
  title        = {Expanding Quasi-MV Algebras by a Quantum Operator},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {99--128},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9079-0},
  doi          = {10.1007/S11225-007-9079-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GiuntiniLP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Jago07,
  author       = {Mark Jago},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {359--362},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9091-4},
  doi          = {10.1007/S11225-007-9091-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Jago07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kahle07a,
  author       = {Reinhard Kahle},
  title        = {Freek Wiedijk (Ed.), The Seventeen Provers of the World},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {369--374},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9093-2},
  doi          = {10.1007/S11225-007-9093-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kahle07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kislak-Malinowska07,
  author       = {Aleksandra Kislak{-}Malinowska},
  title        = {On the Logic of \emph{beta} -pregroups},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {323--342},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9090-5},
  doi          = {10.1007/S11225-007-9090-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kislak-Malinowska07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Lambek07,
  author       = {Joachim Lambek},
  title        = {Should Pregroup Grammars be Adorned with Additional Operations?},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {343--358},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9094-1},
  doi          = {10.1007/S11225-007-9094-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Lambek07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Preller07,
  author       = {Anne Preller},
  title        = {Linear Processing with Pregroups},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {171--197},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9087-0},
  doi          = {10.1007/S11225-007-9087-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Preller07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Rowbottom07,
  author       = {Darrell P. Rowbottom},
  title        = {The Insufficiency of the Dutch Book Argument},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {65--71},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9077-2},
  doi          = {10.1007/S11225-007-9077-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Rowbottom07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Sogaard07a,
  author       = {Anders S{\o}gaard},
  title        = {Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.),
                  Mathematical Problems from Applied Logic {I}},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {2-3},
  pages        = {363--367},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9092-3},
  doi          = {10.1007/S11225-007-9092-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Sogaard07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Teheux07,
  author       = {Bruno Teheux},
  title        = {A Duality for the Algebras of a Lukasiewicz \emph{n} + 1-valued Modal
                  System},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {13--36},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9074-5},
  doi          = {10.1007/S11225-007-9074-5},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Teheux07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wieckowski07,
  author       = {Bartosz Wieckowski},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {87},
  number       = {1},
  pages        = {129--134},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9080-7},
  doi          = {10.1007/S11225-007-9080-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wieckowski07.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.