• 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

AutorGyenis, Zalán (1)Voutsadakis, George (1)Temat
03G27 (2)
Algebraic logic (1)Craig interpolation (1)Discrete Referential Semantics (1)Pseudo- Referential Semantics (1)Referential Logics (1)Referential Semantics (1)Referential π-institutions (1)Selfextensional Logics (1)Selfextensional π-institutions (1)... zobacz więcejData wydania2018 (2)Has File(s)Yes (2)

Szukaj

Show Advanced FiltersHide Advanced Filters

Filtry

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

Wyświetlanie pozycji 1-2 z 2

  • 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

Algebraic Characterization of the Local Craig Interpolation Property 

Gyenis, Zalán (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. ...
Thumbnail

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics 

Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the ...

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