default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sLogica/sLogica45.bht:"
download as .bib file
@article{DBLP:journals/sLogica/Achinger86,
author = {Jaroslaw Achinger},
title = {Generalization of Scott's formula for retractions from generalized
Alexandroff's cube},
journal = {Stud Logica},
volume = {45},
number = {3},
pages = {281--292},
year = {1986},
url = {https://doi.org/10.1007/BF00375899},
doi = {10.1007/BF00375899},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Achinger86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Achinger86a,
author = {Jaroslaw Achinger},
title = {On a problem of P({\(\alpha\)}, {\(\delta\)}, {\(\pi\)}) concerning
generalized Alexandroff s cube},
journal = {Stud Logica},
volume = {45},
number = {3},
pages = {293--300},
year = {1986},
url = {https://doi.org/10.1007/BF00375900},
doi = {10.1007/BF00375900},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Achinger86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AchingerJ86,
author = {Jaroslaw Achinger and
Andrzej W. Jankowski},
title = {On decidable consequence operators},
journal = {Stud Logica},
volume = {45},
number = {4},
pages = {415--424},
year = {1986},
url = {https://doi.org/10.1007/BF00370274},
doi = {10.1007/BF00370274},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/AchingerJ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AlchourronM86,
author = {Carlos E. Alchourr{\'{o}}n and
David Makinson},
title = {Maps between some different kinds of contraction function: The finite
case},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {187--198},
year = {1986},
url = {https://doi.org/10.1007/BF00373274},
doi = {10.1007/BF00373274},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/AlchourronM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BlokD86,
author = {Willem J. Blok and
Wieslaw Dziobiak},
title = {On the lattice of quasivarieties of Sugihara algebras},
journal = {Stud Logica},
volume = {45},
number = {3},
pages = {275--280},
year = {1986},
url = {https://doi.org/10.1007/BF00375898},
doi = {10.1007/BF00375898},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BlokD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BlokP86,
author = {Willem J. Blok and
Don Pigozzi},
title = {Protoalgebraic logics},
journal = {Stud Logica},
volume = {45},
number = {4},
pages = {337--369},
year = {1986},
url = {https://doi.org/10.1007/BF00370269},
doi = {10.1007/BF00370269},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BlokP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Boricic86,
author = {Branislav R. Boricic},
title = {A cut-free gentzen-type system for the logic of the weak law of excluded
middle},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {39--53},
year = {1986},
url = {https://doi.org/10.1007/BF01881548},
doi = {10.1007/BF01881548},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Boricic86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Corsi86,
author = {Giovanna Corsi},
title = {Semantic trees for Dummett's logic \emph{LC}},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {199--206},
year = {1986},
url = {https://doi.org/10.1007/BF00373275},
doi = {10.1007/BF00373275},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Corsi86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Cresswell86,
author = {M. J. Cresswell},
title = {Why objects exist but events occur},
journal = {Stud Logica},
volume = {45},
number = {4},
pages = {371--375},
year = {1986},
url = {https://doi.org/10.1007/BF00370270},
doi = {10.1007/BF00370270},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Cresswell86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Czelakowski86,
author = {Janusz Czelakowski},
title = {Books received},
journal = {Stud Logica},
volume = {45},
number = {3},
pages = {329--333},
year = {1986},
url = {https://doi.org/10.1007/BF00375902},
doi = {10.1007/BF00375902},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Czelakowski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Czelakowski86a,
author = {Janusz Czelakowski},
title = {Local deductions theorems},
journal = {Stud Logica},
volume = {45},
number = {4},
pages = {377--391},
year = {1986},
url = {https://doi.org/10.1007/BF00370271},
doi = {10.1007/BF00370271},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Czelakowski86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Czelakowski86b,
author = {Janusz Czelakowski},
title = {Books received},
journal = {Stud Logica},
volume = {45},
number = {4},
pages = {425--430},
year = {1986},
url = {https://doi.org/10.1007/BF00370275},
doi = {10.1007/BF00370275},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Czelakowski86b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CzelakowskiMST86,
author = {Janusz Czelakowski and
Roger D. Maddux and
Gerhard Schurz and
Kazimierz Trzesicki},
title = {Books received},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {223--229},
year = {1986},
url = {https://doi.org/10.1007/BF00373277},
doi = {10.1007/BF00373277},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CzelakowskiMST86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Dalen86,
author = {D. Dalen},
title = {Glueing of analysis models in an intuitionistic setting},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {181--186},
year = {1986},
url = {https://doi.org/10.1007/BF00373273},
doi = {10.1007/BF00373273},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Dalen86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Dishkant86,
author = {Herman Dishkant},
title = {About finite predicate logic},
journal = {Stud Logica},
volume = {45},
number = {4},
pages = {405--414},
year = {1986},
url = {https://doi.org/10.1007/BF00370273},
doi = {10.1007/BF00370273},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Dishkant86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DonnadieuR86,
author = {M. R. Donnadieu and
C. Rambaud},
title = {Conditional theories},
journal = {Stud Logica},
volume = {45},
number = {3},
pages = {237--250},
year = {1986},
url = {https://doi.org/10.1007/BF00375896},
doi = {10.1007/BF00375896},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DonnadieuR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hosoi86,
author = {Tsutomu Hosoi},
title = {Pseudo two-valued evaluation method for intermediate logics},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {3--8},
year = {1986},
url = {https://doi.org/10.1007/BF01881544},
doi = {10.1007/BF01881544},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hosoi86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Jankowski86,
author = {Andrzej W. Jankowski},
title = {Retracts of the closure space of filters in the lattice of all subsets},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {135--154},
year = {1986},
url = {https://doi.org/10.1007/BF00373270},
doi = {10.1007/BF00373270},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Jankowski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Jankowski86a,
author = {Andrzej W. Jankowski},
title = {Some modifications of Scott's theorem on injective spaces},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {155--166},
year = {1986},
url = {https://doi.org/10.1007/BF00373271},
doi = {10.1007/BF00373271},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Jankowski86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Komori86,
author = {Yuichi Komori},
title = {A new semantics for intuitionistic predicate logic},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {9--17},
year = {1986},
url = {https://doi.org/10.1007/BF01881545},
doi = {10.1007/BF01881545},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Komori86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Komori86a,
author = {Yuichi Komori},
title = {Predicate logics without the structure rules},
journal = {Stud Logica},
volume = {45},
number = {4},
pages = {393--404},
year = {1986},
url = {https://doi.org/10.1007/BF00370272},
doi = {10.1007/BF00370272},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Komori86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KuznetsovM86,
author = {A. V. Kuznetsov and
Alexei Yu. Muravitsky},
title = {On superintuitionistic logics as fragments of proof logic extensions},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {77--99},
year = {1986},
url = {https://doi.org/10.1007/BF01881551},
doi = {10.1007/BF01881551},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KuznetsovM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Maksimova86,
author = {Larisa L. Maksimova},
title = {On maximal intermediate logics with the disjunction property},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {69--75},
year = {1986},
url = {https://doi.org/10.1007/BF01881550},
doi = {10.1007/BF01881550},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Maksimova86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Meyer86,
author = {Robert K. Meyer},
title = {Sentential constants in {R} and R{\unicode{8989}}},
journal = {Stud Logica},
volume = {45},
number = {3},
pages = {301--327},
year = {1986},
url = {https://doi.org/10.1007/BF00375901},
doi = {10.1007/BF00375901},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Meyer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Minari86,
author = {Pierluigi Minari},
title = {On the extension of intuitionistic propositional logic with Kreisel-Putnam's
and Scott's schemes},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {55--68},
year = {1986},
url = {https://doi.org/10.1007/BF01881549},
doi = {10.1007/BF01881549},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Minari86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Minari86a,
author = {Pierluigi Minari},
title = {Intermediate logics with the same disjunctionless fragment as intuitionistic
logic},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {207--222},
year = {1986},
url = {https://doi.org/10.1007/BF00373276},
doi = {10.1007/BF00373276},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Minari86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Ono86,
author = {Hiroakira Ono},
title = {Craig's interpolation theorem for the intuitionistic logic and its
extensions - {A} semantical approach},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {19--33},
year = {1986},
url = {https://doi.org/10.1007/BF01881546},
doi = {10.1007/BF01881546},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Ono86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Porebska86,
author = {Malgorzata Porebska},
title = {Interpolation and amalgamation properties in varieties of equivalential
algebras},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {35--38},
year = {1986},
url = {https://doi.org/10.1007/BF01881547},
doi = {10.1007/BF01881547},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Porebska86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Rautenberg86,
author = {Wolfgang Rautenberg},
title = {Applications of weak Kripke semantics to intermediate consequences},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {119--134},
year = {1986},
url = {https://doi.org/10.1007/BF01881553},
doi = {10.1007/BF01881553},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Rautenberg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ShehtmanS86,
author = {Valentin B. Shehtman and
Dmitrij P. Skvortsov},
title = {Logics of some kripke frames connected with Medvedev notion of informational
types},
journal = {Stud Logica},
volume = {45},
number = {1},
pages = {101--118},
year = {1986},
url = {https://doi.org/10.1007/BF01881552},
doi = {10.1007/BF01881552},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ShehtmanS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Smirnov86,
author = {V. A. Smirnov},
title = {Correction},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {231},
year = {1986},
url = {https://doi.org/10.1007/BF00373278},
doi = {10.1007/BF00373278},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Smirnov86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Tembrowski86,
author = {Bronislaw Tembrowski},
title = {Q-ultrafilters and normal ultrafilters in B-algebras},
journal = {Stud Logica},
volume = {45},
number = {2},
pages = {167--179},
year = {1986},
url = {https://doi.org/10.1007/BF00373272},
doi = {10.1007/BF00373272},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Tembrowski86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Tichy86,
author = {Pavel Tich{\'{y}}},
title = {Indiscernibility of identicals},
journal = {Stud Logica},
volume = {45},
number = {3},
pages = {251--273},
year = {1986},
url = {https://doi.org/10.1007/BF00375897},
doi = {10.1007/BF00375897},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Tichy86.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.
retrieved on 2024-10-22 18:49 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
