• polski
    • English
  • polski 
    • polski
    • English
  • Zaloguj
Szukaj 
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Szukaj
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Szukaj
JavaScript is disabled for your browser. Some features of this site may not work without it.

Przeglądaj

Całe RepozytoriumZbiory i kolekcje Daty wydaniaAutorzyTytułyTematyTen zbiórDaty wydaniaAutorzyTytułyTematy

Moje konto

ZalogujZarejestruj

Odkryj

Autor
Pietruszczak, Andrzej (5)
Gruszczyński, Rafał (1)Łyczak, Marcin (1)Tematbasic theories for modal logics between C1 and S5 (2)first-degree theses of modal logics (2)Pollack’s theory of Basic Modal Logic (2)theses without iterated modalities (2)Biacino-Gerla structures. (1)calculus of names (1)connection structures (1)copula ‘is’ (1)elementary ontology (1)foundations of topology (1)... zobacz więcejData wydania2017 (2)2018 (2)2024 (1)Has File(s)Yes (5)

Szukaj

Show Advanced FiltersHide Advanced Filters

Filtry

Użyj filtrów by uściślić zapytanie.

Wyświetlanie pozycji 1-5 z 5

  • Opcje sortowania:
  • Znaczenie
  • Tytuł (rosnąco)
  • Tytuł (malejąco)
  • Data wydania (rosnąco)
  • Data wydania (malejąco)
  • Wyników na stronę:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories 

Łyczak, Marcin; Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
We formulate a certain subtheory of Ishimoto’s [1] quantifier-free fragment of Leśniewski’s ontology, and show that Ishimoto’s theory can be reconstructed in it. Using an epimorphism theorem we prove that our theory is ...
Thumbnail

A comparison of two systems of point-free topology 

Gruszczyński, Rafał; Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was ...
Thumbnail

On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 

Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only ...
Thumbnail

On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2 

Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only ...
Thumbnail

Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules 

Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-24)
The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow ...

Repozytorium Uniwersytetu Łódzkiego

Kontakt z nami | Wyślij uwagi | Deklaracja dostępności
 

 


Repozytorium Uniwersytetu Łódzkiego

Kontakt z nami | Wyślij uwagi | Deklaracja dostępności