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