• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

• 1986
• 
  Jaroslaw Achinger:
  Generalization of Scott's formula for retractions from generalized Alexandroff's cube. Stud Logica 45(3): 281-292 (1986)
• 
  Jaroslaw Achinger:
  On a problem of P(α, δ, π) concerning generalized Alexandroff s cube. Stud Logica 45(3): 293-300 (1986)
• 
  Jaroslaw Achinger, Andrzej W. Jankowski:
  On decidable consequence operators. Stud Logica 45(4): 415-424 (1986)
• 
  Carlos E. Alchourrón, David Makinson:
  Maps between some different kinds of contraction function: The finite case. Stud Logica 45(2): 187-198 (1986)
• 
  Willem J. Blok, Wieslaw Dziobiak:
  On the lattice of quasivarieties of Sugihara algebras. Stud Logica 45(3): 275-280 (1986)
• 
  Willem J. Blok, Don Pigozzi:
  Protoalgebraic logics. Stud Logica 45(4): 337-369 (1986)
• 
  Branislav R. Boricic:
  A cut-free gentzen-type system for the logic of the weak law of excluded middle. Stud Logica 45(1): 39-53 (1986)
• 
  Giovanna Corsi:
  Semantic trees for Dummett's logic LC. Stud Logica 45(2): 199-206 (1986)
• 
  M. J. Cresswell:
  Why objects exist but events occur. Stud Logica 45(4): 371-375 (1986)
• 
  Janusz Czelakowski:
  Books received. Stud Logica 45(3): 329-333 (1986)
• 
  Janusz Czelakowski:
  Local deductions theorems. Stud Logica 45(4): 377-391 (1986)
• 
  Janusz Czelakowski:
  Books received. Stud Logica 45(4): 425-430 (1986)
• 
  Janusz Czelakowski, Roger D. Maddux, Gerhard Schurz, Kazimierz Trzesicki:
  Books received. Stud Logica 45(2): 223-229 (1986)
• 
  D. Dalen:
  Glueing of analysis models in an intuitionistic setting. Stud Logica 45(2): 181-186 (1986)
• 
  Herman Dishkant:
  About finite predicate logic. Stud Logica 45(4): 405-414 (1986)
• 
  M. R. Donnadieu, C. Rambaud:
  Conditional theories. Stud Logica 45(3): 237-250 (1986)
• 
  Tsutomu Hosoi:
  Pseudo two-valued evaluation method for intermediate logics. Stud Logica 45(1): 3-8 (1986)
• 
  Andrzej W. Jankowski:
  Retracts of the closure space of filters in the lattice of all subsets. Stud Logica 45(2): 135-154 (1986)
• 
  Andrzej W. Jankowski:
  Some modifications of Scott's theorem on injective spaces. Stud Logica 45(2): 155-166 (1986)
• 
  Yuichi Komori:
  A new semantics for intuitionistic predicate logic. Stud Logica 45(1): 9-17 (1986)
• 
  Yuichi Komori:
  Predicate logics without the structure rules. Stud Logica 45(4): 393-404 (1986)
• 
  A. V. Kuznetsov, Alexei Yu. Muravitsky:
  On superintuitionistic logics as fragments of proof logic extensions. Stud Logica 45(1): 77-99 (1986)
• 
  Larisa L. Maksimova:
  On maximal intermediate logics with the disjunction property. Stud Logica 45(1): 69-75 (1986)
• 
  Robert K. Meyer:
  Sentential constants in R and R⌝. Stud Logica 45(3): 301-327 (1986)
• 
  Pierluigi Minari:
  On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes. Stud Logica 45(1): 55-68 (1986)
• 
  Pierluigi Minari:
  Intermediate logics with the same disjunctionless fragment as intuitionistic logic. Stud Logica 45(2): 207-222 (1986)
• 
  Hiroakira Ono:
  Craig's interpolation theorem for the intuitionistic logic and its extensions - A semantical approach. Stud Logica 45(1): 19-33 (1986)
• 
  Malgorzata Porebska:
  Interpolation and amalgamation properties in varieties of equivalential algebras. Stud Logica 45(1): 35-38 (1986)
• 
  Wolfgang Rautenberg:
  Applications of weak Kripke semantics to intermediate consequences. Stud Logica 45(1): 119-134 (1986)
• 
  Valentin B. Shehtman, Dmitrij P. Skvortsov:
  Logics of some kripke frames connected with Medvedev notion of informational types. Stud Logica 45(1): 101-118 (1986)

skipping 3 more matches