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