Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/AghaeiA01,
  author       = {Mojtaba Aghaei and
                  Mohammad Ardeshir},
  title        = {Gentzen-Style Axiomatizations for Some Conservative Extensions of
                  Basic Propositional Logic},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {2},
  pages        = {263--285},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012499207246},
  doi          = {10.1023/A:1012499207246},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AghaeiA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AhmedN01,
  author       = {Tarek Sayed Ahmed and
                  Istv{\'{a}}n N{\'{e}}meti},
  title        = {On Neat Reducts of Algebras of Logic},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {2},
  pages        = {229--262},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012447223176},
  doi          = {10.1023/A:1012447223176},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AhmedN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AllweinM01,
  author       = {Gerard Allwein and
                  Wendy MacCaull},
  title        = {A Kripke Semantics for the Logic of Gelfand Quantales},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {2},
  pages        = {173--228},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012495106338},
  doi          = {10.1023/A:1012495106338},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AllweinM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Dvurecenskij01,
  author       = {Anatolij Dvurecenskij},
  title        = {States on Pseudo MV-Algebras},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {3},
  pages        = {301--327},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012490620450},
  doi          = {10.1023/A:1012490620450},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Dvurecenskij01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FitelsonW01,
  author       = {Branden Fitelson and
                  Larry Wos},
  title        = {Finding Missing Proofs with Automated Reasoning},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {3},
  pages        = {329--356},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012486904520},
  doi          = {10.1023/A:1012486904520},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FitelsonW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Goldblatt01,
  author       = {Robert Goldblatt},
  title        = {Persistence and Atomic Generation for Varieties of Boolean Algebras
                  with Operators},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {2},
  pages        = {155--171},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012491022267},
  doi          = {10.1023/A:1012491022267},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Goldblatt01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Hajek01,
  author       = {Petr H{\'{a}}jek},
  title        = {Fuzzy Logic and Arithmetical Hierarchy {III}},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {129--142},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011906423560},
  doi          = {10.1023/A:1011906423560},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Hajek01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Halbach01,
  author       = {Volker Halbach},
  title        = {Editorial Introduction},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {3--20},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011933220835},
  doi          = {10.1023/A:1011933220835},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Halbach01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kahle01,
  author       = {Reinhard Kahle},
  title        = {Truth in Applicative Theories},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {103--128},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011954206722},
  doi          = {10.1023/A:1011954206722},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kahle01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Leitgeb01,
  author       = {Hannes Leitgeb},
  title        = {Theories of Truth Which Have No Standard Models},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {69--87},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011950105814},
  doi          = {10.1023/A:1011950105814},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Leitgeb01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/LoweW01,
  author       = {Benedikt L{\"{o}}we and
                  Philip D. Welch},
  title        = {Set-Theoretic Absoluteness and the Revision Theory of Truth},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {21--41},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011946004905},
  doi          = {10.1023/A:1011946004905},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/LoweW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Martinez01,
  author       = {Maricarmen Mart{\'{\i}}nez},
  title        = {Some Closure Properties of Finite Definitions},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {43--68},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011998021743},
  doi          = {10.1023/A:1011998021743},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Martinez01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Montagna01,
  author       = {Franco Montagna},
  title        = {Three Complexity Problems in Quantified Fuzzy Logic},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {143--152},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011958407631},
  doi          = {10.1023/A:1011958407631},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Montagna01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Sheard01,
  author       = {Michael Sheard},
  title        = {Weak and Strong Theories of Truth},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {1},
  pages        = {89--101},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011902222652},
  doi          = {10.1023/A:1011902222652},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Sheard01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Vermeulen01,
  author       = {C. F. M. Vermeulen},
  title        = {A Calculus of Substitutions for {DPL}},
  journal      = {Stud Logica},
  volume       = {68},
  number       = {3},
  pages        = {357--387},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012439021359},
  doi          = {10.1023/A:1012439021359},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Vermeulen01.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.