default search action
Search dblp for Publications
export results for "toc:db/journals/sLogica/sLogica80.bht:"
@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.