PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available All splitting logics in the lattice NEXT(KTB:30A)
Kostrzycka Z.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2016
|
Vol. 21
31--61
EN
We examine a special modal logic which is a normal extension of the Brouwer modal logic. It is determined by linearly ordered chains of clusters and the relation between clusters is reflexive and symmetric. The appropriate axiomatization of this logic is proposed in the papers [11] and [12]. There is also proved that all normal extensions of the investigated logic are Kripke complete and have f.m.p. Unfortunately, the cardinality of this family is continuum [13]. One may imagine that the structure of the lattice of these extensions is immensely complex. Then we use the technics of splitting to characterize this lattice and to describe some quite simple fragments. We characterize all the logics that split the lattice.
2
System założeniowy dla rachunku modalnego S2 Lewisa
Kostrzycka Z.
Zeszyty Naukowe. Matematyka / Politechnika Opolska
|
2000
|
z. 16
147-158
PL
W niniejszej pracy podaje się formalizację założeniową dla rachunku modalnego S2 Lewisa.
EN
In the paper a logical system based on rules corresponding to Lewis model system S2 is d
3
Dedukcja naturalna w logice stoickiej
Kostrzycka Z.
Zeszyty Naukowe. Matematyka / Politechnika Opolska
|
1999
|
z. 15
77-86
PL
W pracy podejmuje się próbę rekonstrukcji stoickiego rachunku zdań, w szczególności dowodu stoickiego. Porównuje się również rachunek stoicki z klasycznym rachunkiem zdań.
EN
In this paper an attempt is made of reconstruction of the stoic propositional calculus, especially the stoic proof. The stoic calculus is also compared with clasical propositional calculus.
4
Content available remote Metoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 Lewisa
Kostrzycka Z., Bryll G.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
1999
|
Vol. 7
50--59
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.