• polski
    • English
  • polski 
    • polski
    • English
  • Zaloguj
Szukaj 
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 46/3-4 (2017)
  • Szukaj
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 46/3-4 (2017)
  • 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łyTematyTa kolekcjaDaty wydaniaAutorzyTytułyTematy

Moje konto

ZalogujZarejestruj

Odkryj

AutorNowak, Marek (1)Temat
closure operation (1)
closure system (1)
rule of inference (1)
... zobacz więcejData wydania2017 (1)Has File(s)Yes (1)

Szukaj

Show Advanced FiltersHide Advanced Filters

Filtry

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

Wyświetlanie pozycji 1-1 z 1

  • 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

A Syntactic Approach to Closure Operation 

Nowak, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role ...

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