Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/Agazzi11,
  author       = {Evandro Agazzi},
  title        = {Consistency, Truth and Ontology},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {7--29},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9295-x},
  doi          = {10.1007/S11225-010-9295-X},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Agazzi11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ArieliAZ11,
  author       = {Ofer Arieli and
                  Arnon Avron and
                  Anna Zamansky},
  title        = {Maximal and Premaximal Paraconsistency in the Framework of Three-Valued
                  Semantics},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {31--60},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9296-9},
  doi          = {10.1007/S11225-010-9296-9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/ArieliAZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BagheriP11,
  author       = {Seyed Mohammad Bagheri and
                  Massoud Pourmahdian},
  title        = {Omitting Types in an Intermediate Logic},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {3},
  pages        = {319--328},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9310-x},
  doi          = {10.1007/S11225-011-9310-X},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BagheriP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Batens11,
  author       = {Diderik Batens},
  title        = {Logics for Qualitative Inductive Generalization},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {61--80},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9297-8},
  doi          = {10.1007/S11225-010-9297-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Batens11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Bendegem11,
  author       = {Jean Paul Van Bendegem},
  title        = {One Hundred Years of Intuitionism {(1907-2007)}},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {3},
  pages        = {421--425},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9313-7},
  doi          = {10.1007/S11225-011-9313-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Bendegem11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Boccuni11,
  author       = {Francesca Boccuni},
  title        = {On the Consistency of a Plural Theory of Frege's \emph{Grundgesetze}},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {3},
  pages        = {329--345},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9311-9},
  doi          = {10.1007/S11225-011-9311-9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Boccuni11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Carnielli11,
  author       = {Walter Alexandre Carnielli},
  title        = {The Single-minded Pursuit of Consistency and its Weakness},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {81--100},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9298-7},
  doi          = {10.1007/S11225-010-9298-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Carnielli11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kristiansen11,
  author       = {Lars Kristiansen},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {2},
  pages        = {313--316},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9308-4},
  doi          = {10.1007/S11225-011-9308-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kristiansen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Lewitzka11,
  author       = {Steffen Lewitzka},
  title        = {{\^{I}} \({}_{\mbox{\emph{K}}}\): a Non-Fregean Logic of Explicit
                  Knowledge},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {2},
  pages        = {233--264},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9304-8},
  doi          = {10.1007/S11225-011-9304-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Lewitzka11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Lucero-Bryan11,
  author       = {Joel Lucero{-}Bryan},
  title        = {The d-Logic of the Rational Numbers: {A} Fruitful Construction},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {2},
  pages        = {265--295},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9305-7},
  doi          = {10.1007/S11225-011-9305-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Lucero-Bryan11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Malinowski11,
  author       = {Grzegorz Malinowski},
  title        = {Referentiality and Matrix Semantics},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {2},
  pages        = {297--312},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9307-5},
  doi          = {10.1007/S11225-011-9307-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Malinowski11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/MarianoM11,
  author       = {Hugo Luiz Mariano and
                  Francisco Miraglia},
  title        = {The Profinite Hull of Special Groups and Local-Global Principles},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {127--160},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9301-3},
  doi          = {10.1007/S11225-010-9301-3},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/MarianoM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/MundiciD11,
  author       = {Daniele Mundici and
                  Itala M. Loffredo D'Ottaviano},
  title        = {Foreword},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {1--5},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9299-6},
  doi          = {10.1007/S11225-010-9299-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/MundiciD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/NascimentoKF11,
  author       = {Mauri Cunha do Nascimento and
                  D{\'{e}}cio Krause and
                  H{\'{e}}rcules A. Feitosa},
  title        = {The Quasi-lattice of Indiscernible Elements},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {101--126},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9300-4},
  doi          = {10.1007/S11225-010-9300-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/NascimentoKF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/NasieniewskiP11,
  author       = {Marek Nasieniewski and
                  Andrzej Pietruszczak},
  title        = {A Method of Generating Modal Logics Defining Ja{\'{s}}kowski's
                  Discussive Logic D\({}_{\mbox{2}}\)},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {161--182},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9302-2},
  doi          = {10.1007/S11225-010-9302-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/NasieniewskiP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Orlowska11,
  author       = {Ewa Orlowska},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {3},
  pages        = {415--419},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9312-8},
  doi          = {10.1007/S11225-011-9312-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Orlowska11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Pambuccian11,
  author       = {Victor Pambuccian},
  title        = {The Simplest Axiom System for Plane Hyperbolic Geometry Revisited},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {3},
  pages        = {347--349},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9314-6},
  doi          = {10.1007/S11225-011-9314-6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Pambuccian11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Priest11,
  author       = {Graham Priest},
  title        = {First-Order da Costa Logic},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {1},
  pages        = {183--198},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-010-9303-1},
  doi          = {10.1007/S11225-010-9303-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Priest11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Seki11,
  author       = {Takahiro Seki},
  title        = {The \emph{{\(\gamma\)}}-admissibility of Relevant Modal Logics {I}
                  - The Method of Normal Models},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {2},
  pages        = {199--231},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9306-6},
  doi          = {10.1007/S11225-011-9306-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Seki11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Seki11a,
  author       = {Takahiro Seki},
  title        = {The \emph{{\(\gamma\)}}-admissibility of Relevant Modal Logics {II}
                  - The Method using Metavaluations},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {3},
  pages        = {351--383},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9315-5},
  doi          = {10.1007/S11225-011-9315-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Seki11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ShtakserL11,
  author       = {Gennady Shtakser and
                  Leonid Leonenko},
  title        = {Tracks of Relations and Equivalences-based Reasoning},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {3},
  pages        = {385--413},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9316-4},
  doi          = {10.1007/S11225-011-9316-4},
  timestamp    = {Fri, 18 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/ShtakserL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Sogaard11,
  author       = {Anders S{\o}gaard},
  title        = {Keith Stenning and Michiel van Lambalgen, Human reasoning and cognitive
                  science},
  journal      = {Stud Logica},
  volume       = {97},
  number       = {2},
  pages        = {317--318},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11225-011-9309-3},
  doi          = {10.1007/S11225-011-9309-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Sogaard11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics