Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/RoyW88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/RoyW88
Dev Kumar Roy, Richard Watnick:
Finite condensations of recursive linear orders. Stud Logica 47(4): 311-317 (1988)
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Sain88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Sain88
Ildikó Sain:
Is "some-other-time" sometimes better than "sometime" for proving partial correctness of programs? Stud Logica 47(3): 279-301 (1988)
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Segerberg88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Segerberg88
Krister Segerberg:
Talking about actions. Stud Logica 47(4): 347-352 (1988)
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/SylvanC88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/SylvanC88
Richard Sylvan, Newton Costa:
Cause as an implication. Stud Logica 47(4): 413-428 (1988)
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Tokarz88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Tokarz88
Marek Tokarz:
Synonymy in sentential languages: a pragmatic view. Stud Logica 47(2): 93-97 (1988)
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Tuziak88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Tuziak88
Roman Tuziak:
An axiomatization of the finite-valued Łukasiewicz calculus. Stud Logica 47(1): 49-55 (1988)
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Wattenberg88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Wattenberg88
Frank Wattenberg:
Nonstandard analysis and constructivism? Stud Logica 47(3): 303-309 (1988)
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Weaver88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Weaver88
George Weaver:
Classifying ℵ₀-categorical theories. Stud Logica 47(4): 327-345 (1988)