Search 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}
}

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.