![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/sLogica/sLogica47.bht:"
@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} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.