Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Reports on Mathematical Logic

1 2017

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: generalized model

Sortuj według:

Ogranicz wyniki do:

Note of the full generalized models of the extensions of a logic

100%

Albuquerque H. , Font J. M. , Jansana R.

Reports on Mathematical Logic

2017

tom Vol. 52

57--68

In this short note we show that the full generalized models of any extension of a logic can be determined from the full generalized models of the base logic in a simple way. The result is a consequence of two central theorems of the theory of full generalized models of sentential logics. As applications we investigate when the full generalized models of an extension can also be full generalized models of the base logic, and we prove that each Suszko lter of a logic determines a Suszko lter of each of its extensions, also in a simple way.