default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 44
Volume 44, Number 1, March 1985
- Andrzej W. Jankowski:
Universality of the closure space of filters in the algebra of all subsets. 1-9 - Andrzej W. Jankowski:
Disjunctions in closure spaces. 11-24 - Marek W. Zawadowski
:
The Skolem-Löwenheim theorem in toposes. II. 25-38 - Kosta Dosen:
Models for stronger normal intuitionistic modal logics. 39-70 - Mitio Takano:
A semantical investigation into Leśniewski's axiom of his ontology. 71-77 - Dimiter Vakarelov:
An application of Rieger-Nishimura formulas to the intuitionistic modal logics. 79-85 - Aldo Ursini:
Decision problems for classes of diagonalizable algebras. 87-89 - Ewa Orlowska:
Logic of nondeterministic information. 91-100 - Janusz Czelakowski:
Books received. 101-105
Volume 44, Number 2, June 1985
- Andrzej W. Jankowski:
Galois structures. 109-124 - Anita Wasilewska:
Programs and logics. 125-137 - Anita Wasilewska:
Trees and diagrams of decomposition. 139-158 - Harry Deutsch:
A note on the decidability of a strong relevant logic. 159-164 - Raymond Turner:
Three theories of nominalized predicates. 165-186 - Hiroakira Ono:
Semantical analysis of predicate logics without the contraction rule. 187-196 - Maurizio Fattorosi-Barnaba, F. De Caro:
Graded modalities. I. 197-221 - Janusz Czelakowski:
Books received. 223-230
Volume 44, Number 3, September 1985
- Steve Giambrone:
On purported Gentzen formulations of two positive relevent logics. 233-236 - Andrzej W. Jankowski, Marek W. Zawadowski:
Sheaves over Heyting lattices. 237-256 - Zarko Mijajlovic:
On the definability of the quantifier "there exist uncountably many". 257-264 - Janusz Czelakowski:
Sentential logics and Maehara Interpolation Property. 265-283 - Terry A. McKee:
Generalized equivalence: A pattern of mathematical expression. 285-289 - Valentin Goranko:
The Craig interpolation theorem for prepositional logics with strong negation. 291-317
Volume 44, Number 4, December 1985
- Janusz Czelakowski, Grzegorz Malinowski:
Key notions of Tarski's methodology of deductive systems. 321-351 - Helena Rasiowa:
Topological representations of Post algebras of order ω+ and open theories based on ω+-valued Post logic. 353-368 - Janusz Czelakowski:
Algebraic aspects of deduction theorems. 369-387 - Johan van Benthem:
The variety of consequence, according to Bolzano. 389-403 - Carlos E. Alchourrón, David Makinson:
On the logic of theory change: Safe contraction. 405-422 - Robert Goldblatt:
An algebraic study of well-foundedness. 423-437 - Raymond M. Smullyan:
Uniform self-reference. 439-445
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-11-21 20:30 CET 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:
