Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/AltenR04,
  author       = {Clint J. van Alten and
                  James G. Raftery},
  title        = {Rule Separation and Embedding Theorems for Logics Without Weakening},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {241--274},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032087.02579.e2},
  doi          = {10.1023/B:STUD.0000032087.02579.E2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AltenR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CantiniG04,
  author       = {Andrea Cantini and
                  Valentin Goranko},
  title        = {Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution";
                  Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic",
                  Cambridge Tracts in Theoretical Computer Science Volume 53},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {1},
  pages        = {135--142},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000027550.80518.77},
  doi          = {10.1023/B:STUD.0000027550.80518.77},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/CantiniG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/EstevaGM04,
  author       = {Francesc Esteva and
                  Llu{\'{\i}}s Godo and
                  Franco Montagna},
  title        = {Equational Characterization of the Subvarieties of {BL} Generated
                  by t-norm Algebras},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {161--200},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032084.12744.e3},
  doi          = {10.1023/B:STUD.0000032084.12744.E3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/EstevaGM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Galatos04,
  author       = {Nikolaos Galatos},
  title        = {Equational Bases for Joins of Residuated-lattice Varieties},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {227--240},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032086.42963.7c},
  doi          = {10.1023/B:STUD.0000032086.42963.7C},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Galatos04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Goble04,
  author       = {Lou Goble},
  title        = {Combinator Logics},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {1},
  pages        = {17--66},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000027466.68014.52},
  doi          = {10.1023/B:STUD.0000027466.68014.52},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Goble04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Heinemann04,
  author       = {Bernhard Heinemann},
  title        = {A Modal Logic for Discretely Descending Chains of Sets},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {1},
  pages        = {67--90},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000027467.49608.9d},
  doi          = {10.1023/B:STUD.0000027467.49608.9D},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Heinemann04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Jipsen04,
  author       = {Peter Jipsen},
  title        = {From Semirings to Residuated Kleene Lattices},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {291--303},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032089.54776.63},
  doi          = {10.1023/B:STUD.0000032089.54776.63},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Jipsen04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KontchakovLWZ04,
  author       = {Roman Kontchakov and
                  Carsten Lutz and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {Temporalising Tableaux},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {1},
  pages        = {91--134},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000027468.28935.6d},
  doi          = {10.1023/B:STUD.0000027468.28935.6D},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KontchakovLWZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KostrzyckaZ04,
  author       = {Zofia Kostrzycka and
                  Marek Zaionc},
  title        = {Statistics of Intuitionistic versus Classical Logics},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {3},
  pages        = {307--328},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032101.88511.93},
  doi          = {10.1023/B:STUD.0000032101.88511.93},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KostrzyckaZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Litak04,
  author       = {Tadeusz Litak},
  title        = {Modal Incompleteness Revisited},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {3},
  pages        = {329--342},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032102.67838.f2},
  doi          = {10.1023/B:STUD.0000032102.67838.F2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Litak04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Malinowski04,
  author       = {Grzegorz Malinowski},
  title        = {Inferential Intensionality},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {1},
  pages        = {3--16},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000027465.12589.75},
  doi          = {10.1023/B:STUD.0000027465.12589.75},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Malinowski04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Meixner04,
  author       = {Uwe Meixner},
  title        = {Causation in a New Old Key},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {3},
  pages        = {343--383},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032103.20517.11},
  doi          = {10.1023/B:STUD.0000032103.20517.11},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Meixner04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Nolan04,
  author       = {Daniel Nolan},
  title        = {Charles S. Chihara, "The Worlds of Possibility, Modal Realism and
                  the Semantics of Modal Logic"},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {3},
  pages        = {443--446},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032135.92516.38},
  doi          = {10.1023/B:STUD.0000032135.92516.38},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Nolan04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Odintsov04,
  author       = {Sergei P. Odintsov},
  title        = {On the Representation of N4-Lattices},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {3},
  pages        = {385--405},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032104.14199.08},
  doi          = {10.1023/B:STUD.0000032104.14199.08},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Odintsov04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Raftery04,
  author       = {James G. Raftery},
  title        = {Willem Blok's Work in Algebraic Logic},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {155--160},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032083.45504.62},
  doi          = {10.1023/B:STUD.0000032083.45504.62},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Raftery04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Rigo04,
  author       = {Michel Rigo},
  title        = {Characterizing Simpler Recognizable Sets of Integers},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {3},
  pages        = {407--426},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032105.17770.38},
  doi          = {10.1023/B:STUD.0000032105.17770.38},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Rigo04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Tamminga04,
  author       = {Allard M. Tamminga},
  title        = {Expansion and Contraction of Finite States},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {3},
  pages        = {427--442},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032106.55407.c8},
  doi          = {10.1023/B:STUD.0000032106.55407.C8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Tamminga04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/TsinakisZ04,
  author       = {Constantine Tsinakis and
                  Han Zhang},
  title        = {Order Algebras as Models of Linear Logic},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {201--225},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032085.13087.bd},
  doi          = {10.1023/B:STUD.0000032085.13087.BD},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/TsinakisZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wille04,
  author       = {Annika M. Wille},
  title        = {The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {275--290},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032088.17345.ea},
  doi          = {10.1023/B:STUD.0000032088.17345.EA},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wille04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/X04,
  title        = {From the Editors},
  journal      = {Stud Logica},
  volume       = {76},
  number       = {2},
  pages        = {153},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:STUD.0000032133.81597.0a},
  doi          = {10.1023/B:STUD.0000032133.81597.0A},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/X04.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.