Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sLogica/sLogica47.bht:"
download as .bib file
@article{DBLP:journals/sLogica/Boricic88,
author = {Branislav R. Boricic},
title = {A note on sequent calculi intermediate between {LJ} and {LK}},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {151--157},
year = {1988},
url = {https://doi.org/10.1007/BF00370289},
doi = {10.1007/BF00370289},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Boricic88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Bottner88,
author = {Michael B{\"{o}}ttner},
title = {A note on existential import},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {35--40},
year = {1988},
url = {https://doi.org/10.1007/BF00374050},
doi = {10.1007/BF00374050},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Bottner88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Brady88,
author = {Ross T. Brady},
title = {A content semantics for quantified relevant logics. {I}},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {111--127},
year = {1988},
url = {https://doi.org/10.1007/BF00370286},
doi = {10.1007/BF00370286},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Brady88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Bunder88,
author = {Martin W. Bunder},
title = {Arithmetic based on the Church numerals in illative combinatory logic},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {129--143},
year = {1988},
url = {https://doi.org/10.1007/BF00370287},
doi = {10.1007/BF00370287},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Bunder88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Buszkowski88,
author = {Wojciech Buszkowski},
title = {Gaifman's theorem on categorial grammars revisited},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {23--33},
year = {1988},
url = {https://doi.org/10.1007/BF00374049},
doi = {10.1007/BF00374049},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Buszkowski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Caro88,
author = {Francesco Caro},
title = {Graded modalities, {II} (canonical models)},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {1--10},
year = {1988},
url = {https://doi.org/10.1007/BF00374047},
doi = {10.1007/BF00374047},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Caro88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Caro88a,
author = {Francesco Caro},
title = {Normal predicative logics with graded modalities},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {11--22},
year = {1988},
url = {https://doi.org/10.1007/BF00374048},
doi = {10.1007/BF00374048},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Caro88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Cresswell88,
author = {M. J. Cresswell},
title = {Necessity and contingency},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {145--149},
year = {1988},
url = {https://doi.org/10.1007/BF00370288},
doi = {10.1007/BF00370288},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Cresswell88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Csirmaz88,
author = {L{\'{a}}szl{\'{o}} Csirmaz},
title = {Stability of weak second-order semantics},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {193--202},
year = {1988},
url = {https://doi.org/10.1007/BF00370550},
doi = {10.1007/BF00370550},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Csirmaz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Czelakowski88,
author = {Janusz Czelakowski},
title = {Books received},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {71--77},
year = {1988},
url = {https://doi.org/10.1007/BF00374054},
doi = {10.1007/BF00374054},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Czelakowski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Czelakowski88a,
author = {Janusz Czelakowski},
title = {Books received},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {169--176},
year = {1988},
url = {https://doi.org/10.1007/BF00370291},
doi = {10.1007/BF00370291},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Czelakowski88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Czelakowski88b,
author = {Janusz Czelakowski},
title = {Books received},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {439--441},
year = {1988},
url = {https://doi.org/10.1007/BF00671572},
doi = {10.1007/BF00671572},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Czelakowski88b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Dishkant88,
author = {Herman Dishkant},
title = {Mathematics of Totalities: an alternative to mathematics of sets},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {319--326},
year = {1988},
url = {https://doi.org/10.1007/BF00671563},
doi = {10.1007/BF00671563},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Dishkant88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Dosen88,
author = {Kosta Dosen},
title = {Sequent-systems and groupoid models. {I}},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {353--385},
year = {1988},
url = {https://doi.org/10.1007/BF00671566},
doi = {10.1007/BF00671566},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Dosen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Farkas88,
author = {E. J. Farkas},
title = {A faithful embedding of parallel computations in star-finite models},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {203--212},
year = {1988},
url = {https://doi.org/10.1007/BF00370551},
doi = {10.1007/BF00370551},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Farkas88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Fattorosi-Barnaba88,
author = {Maurizio Fattorosi{-}Barnaba and
Claudio Cerrato},
title = {Graded modalities. {III} (the completeness and compactness of {S40)}},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {99--110},
year = {1988},
url = {https://doi.org/10.1007/BF00370285},
doi = {10.1007/BF00370285},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Fattorosi-Barnaba88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Fitting88,
author = {Melvin Fitting},
title = {Pseudo-Boolean valued prolog},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {85--91},
year = {1988},
url = {https://doi.org/10.1007/BF00370283},
doi = {10.1007/BF00370283},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Fitting88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gajda88,
author = {Adam Gajda},
title = {The adequacy condition as a definition of elementary interpretation},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {57--69},
year = {1988},
url = {https://doi.org/10.1007/BF00374053},
doi = {10.1007/BF00374053},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Gajda88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Grabowski88,
author = {Michal Grabowski},
title = {Arithmetical completeness versus relative completeness},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {213--220},
year = {1988},
url = {https://doi.org/10.1007/BF00370552},
doi = {10.1007/BF00370552},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Grabowski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hirshfeld88,
author = {Joram Hirshfeld},
title = {Nonstandard combinatorics},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {221--232},
year = {1988},
url = {https://doi.org/10.1007/BF00370553},
doi = {10.1007/BF00370553},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hirshfeld88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hosoi88,
author = {Tsutomu Hosoi},
title = {Gentzen-type formulation of the prepositional logic \emph{LQ}},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {41--48},
year = {1988},
url = {https://doi.org/10.1007/BF00374051},
doi = {10.1007/BF00374051},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hosoi88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kozen88,
author = {Dexter Kozen},
title = {A finite model theorem for the propositional {\(\mu\)}-calculus},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {233--241},
year = {1988},
url = {https://doi.org/10.1007/BF00370554},
doi = {10.1007/BF00370554},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kozen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Krynicki88,
author = {Michal Krynicki},
title = {The non-definability notion and first order logic},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {429--437},
year = {1988},
url = {https://doi.org/10.1007/BF00671571},
doi = {10.1007/BF00671571},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Krynicki88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Leth88,
author = {Steven C. Leth},
title = {Sequences in countable nonstandard models of the natural numbers},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {243--263},
year = {1988},
url = {https://doi.org/10.1007/BF00370555},
doi = {10.1007/BF00370555},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Leth88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Leth88a,
author = {Steven C. Leth},
title = {Some nonstandard methods in combinatorial number theory},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {265--278},
year = {1988},
url = {https://doi.org/10.1007/BF00370556},
doi = {10.1007/BF00370556},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Leth88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Lewin88,
author = {Renato A. Lewin},
title = {Involutions defined by monadic terms},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {387--389},
year = {1988},
url = {https://doi.org/10.1007/BF00671567},
doi = {10.1007/BF00671567},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Lewin88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Mendez88,
author = {Jos{\'{e}} M. M{\'{e}}ndez},
title = {Converse Ackermann Croperty and semiclassical negation},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {159--168},
year = {1988},
url = {https://doi.org/10.1007/BF00370290},
doi = {10.1007/BF00370290},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Mendez88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Ono88,
author = {Hiroakira Ono},
title = {On finite linear intermediate predicate logics},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {391--399},
year = {1988},
url = {https://doi.org/10.1007/BF00671568},
doi = {10.1007/BF00671568},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Ono88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/PedrosaS88,
author = {Renato H. L. Pedrosa and
Antonio M. A. Sette},
title = {A representation theorem for languages with generalized quantifiers
through back-and-forth methods},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {401--411},
year = {1988},
url = {https://doi.org/10.1007/BF00671569},
doi = {10.1007/BF00671569},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/PedrosaS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/RichterS88,
author = {Michael M. Richter and
Manfred E. Szabo},
title = {Nonstandard methods in combinatorics and theoretical computer science},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {181--191},
year = {1988},
url = {https://doi.org/10.1007/BF00370549},
doi = {10.1007/BF00370549},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/RichterS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/RoyW88,
author = {Dev Kumar Roy and
Richard Watnick},
title = {Finite condensations of recursive linear orders},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {311--317},
year = {1988},
url = {https://doi.org/10.1007/BF00671562},
doi = {10.1007/BF00671562},
timestamp = {Thu, 11 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/RoyW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Sain88,
author = {Ildik{\'{o}} Sain},
title = {Is "some-other-time" sometimes better than "sometime" for proving
partial correctness of programs?},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {279--301},
year = {1988},
url = {https://doi.org/10.1007/BF00370557},
doi = {10.1007/BF00370557},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Sain88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Segerberg88,
author = {Krister Segerberg},
title = {Talking about actions},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {347--352},
year = {1988},
url = {https://doi.org/10.1007/BF00671565},
doi = {10.1007/BF00671565},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Segerberg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SylvanC88,
author = {Richard Sylvan and
Newton Costa},
title = {Cause as an implication},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {413--428},
year = {1988},
url = {https://doi.org/10.1007/BF00671570},
doi = {10.1007/BF00671570},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SylvanC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Tokarz88,
author = {Marek Tokarz},
title = {Synonymy in sentential languages: a pragmatic view},
journal = {Stud Logica},
volume = {47},
number = {2},
pages = {93--97},
year = {1988},
url = {https://doi.org/10.1007/BF00370284},
doi = {10.1007/BF00370284},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Tokarz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Tuziak88,
author = {Roman Tuziak},
title = {An axiomatization of the finite-valued {\L}ukasiewicz calculus},
journal = {Stud Logica},
volume = {47},
number = {1},
pages = {49--55},
year = {1988},
url = {https://doi.org/10.1007/BF00374052},
doi = {10.1007/BF00374052},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Tuziak88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wattenberg88,
author = {Frank Wattenberg},
title = {Nonstandard analysis and constructivism?},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {303--309},
year = {1988},
url = {https://doi.org/10.1007/BF00370558},
doi = {10.1007/BF00370558},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Wattenberg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Weaver88,
author = {George Weaver},
title = {Classifying {\(\aleph\)}\({}_{\mbox{0}}\)-categorical theories},
journal = {Stud Logica},
volume = {47},
number = {4},
pages = {327--345},
year = {1988},
url = {https://doi.org/10.1007/BF00671564},
doi = {10.1007/BF00671564},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Weaver88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-08-25 19:57 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:
