Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/Avron05,
  author       = {Arnon Avron},
  title        = {A Non-deterministic View on Non-classical Negations},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {159--194},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8468-5},
  doi          = {10.1007/S11225-005-8468-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Avron05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BeesonVW05,
  author       = {Michael Beeson and
                  Robert Veroff and
                  Larry Wos},
  title        = {Double-Negation Elimination in Some Propositional Logics},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {195--234},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8469-4},
  doi          = {10.1007/S11225-005-8469-4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BeesonVW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Belnap05,
  author       = {Nuel Belnap},
  title        = {Under Carnap's Lamp: Flat Pre-semantics},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {1--28},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6774-6},
  doi          = {10.1007/S11225-005-6774-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Belnap05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BoothR05,
  author       = {Richard Booth and
                  Eva Richter},
  title        = {On Revising Fuzzy Belief Bases},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {29--61},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6775-5},
  doi          = {10.1007/S11225-005-6775-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BoothR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/DunnZ05,
  author       = {J. Dunn and
                  Chunlai Zhou},
  title        = {Negation in the Context of Gaggle Theory},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {235--264},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8470-y},
  doi          = {10.1007/S11225-005-8470-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/DunnZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Farulewski05,
  author       = {Maciej Farulewski},
  title        = {On Finite Models of the Lambek Calculus},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {63--74},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6776-4},
  doi          = {10.1007/S11225-005-6776-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Farulewski05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Hoyrup05,
  author       = {Jens H{\o}yrup},
  title        = {The Shaping of Deduction in Greek Mathematics: {A} Study in Coginitive
                  History},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {143--147},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6781-7},
  doi          = {10.1007/S11225-005-6781-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Hoyrup05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kamide05,
  author       = {Norihiro Kamide},
  title        = {Gentzen-Type Methods for Bilattice Negation},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {265--289},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8471-x},
  doi          = {10.1007/S11225-005-8471-X},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kamide05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Miyazaki05,
  author       = {Yutaka Miyazaki},
  title        = {Some Properties of Orthologics},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {75--93},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6777-3},
  doi          = {10.1007/S11225-005-6777-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Miyazaki05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Odintsov05,
  author       = {Sergei P. Odintsov},
  title        = {The Class of Extensions of Nelson's Paraconsistent Logic},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {291--320},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8472-9},
  doi          = {10.1007/S11225-005-8472-9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Odintsov05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/PearceV05,
  author       = {David Pearce and
                  Agust{\'{\i}}n Valverde},
  title        = {A First Order Nonmonotonic Extension of Constructive Logic},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {321--346},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8473-8},
  doi          = {10.1007/S11225-005-8473-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/PearceV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/PogorzelskiW05,
  author       = {Witold A. Pogorzelski and
                  Piotr Wojtylak},
  title        = {A Proof System for Classical Logic},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {95--104},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6778-2},
  doi          = {10.1007/S11225-005-6778-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/PogorzelskiW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Shramko05,
  author       = {Yaroslav Shramko},
  title        = {Dual Intuitionistic Logic and a Variety of Negations: The Logic of
                  Scientific Research},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {347--367},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8474-7},
  doi          = {10.1007/S11225-005-8474-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Shramko05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/StaruchS05,
  author       = {Bozena Staruch and
                  Bogdan Staruch},
  title        = {First Order Theories for Partial Models},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {105--120},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6779-1},
  doi          = {10.1007/S11225-005-6779-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/StaruchS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Tennant05,
  author       = {Neil Tennant},
  title        = {Contracting Intuitionistic Theories},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {369--391},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8475-6},
  doi          = {10.1007/S11225-005-8475-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Tennant05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Tzouvaras05,
  author       = {Athanassios Tzouvaras},
  title        = {Cardinality without Enumeration},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {121--141},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6780-8},
  doi          = {10.1007/S11225-005-6780-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Tzouvaras05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Vakarelov05,
  author       = {Dimiter Vakarelov},
  title        = {Nelson's Negation on the Base of Weaker Versions of Intuitionistic
                  Negation},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {393--430},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8476-5},
  doi          = {10.1007/S11225-005-8476-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Vakarelov05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/WansingOS05,
  author       = {Heinrich Wansing and
                  Sergei P. Odintsov and
                  Yaroslav Shramko},
  title        = {From the Editors},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {153--157},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8467-6},
  doi          = {10.1007/S11225-005-8467-6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/WansingOS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/WisniewskiVL05,
  author       = {Andrzej Wisniewski and
                  Guido Vanackere and
                  Dorota Leszczynska},
  title        = {Socratic Proofs and Paraconsistency: {A} Case Study},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {2-3},
  pages        = {431--466},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-8477-4},
  doi          = {10.1007/S11225-005-8477-4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/WisniewskiVL05.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.