On structural completeness versus almost structural completeness problem: a discriminator varieties case study
PBN-AR
Instytucja
Wydział Matematyki i Nauk Informacyjnych (Politechnika Warszawska)
Informacje podstawowe
Główny język publikacji
angielski
Czasopismo
Logic Journal of the IGPL
ISSN
1367-0751
EISSN
Wydawca
URL
Rok publikacji
2015
Numer zeszytu
2
Strony od-do
235-246
Numer tomu
23
Identyfikator DOI
Liczba arkuszy
0.86
Autorzy
(liczba autorów: 3)
Pozostali autorzy
+ 2
Słowa kluczowe
angielski
Structural completeness
almost structural completeness
discriminator varieties
semisimple quasivarieties
minimal quasivarieties
minimal varieties
Streszczenia
Język
polski
Treść
Strukturalna zupełność (SZ) oraz prawie strukturalna zupełność (PSZ) są własnościami systemów dedukcyjnych (quasirozmaitości, rozmaitości) wywodzącymi się z analizy struktury dowodów. Pojęcie PSZ zostało wprowadzone niedawno jako udoskonalenie pojęcia SZ. W pracy bada się, czy to udoskonalenie było uzasadnione, a dokładniej czy “często” się pojawiają quasirozmaitości PSZ ale nie SZ. W szczególności pokazano, że dla rozmaitości dyskryminatorowych faktycznie jest lepiej pracować z PSZ.
Język
angielski
Treść
We study the following problem: determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this problem and then a solution in the semisimple case. As a consequence, we obtain a characterization of structurally complete discriminator varieties. An interesting corollary in logic follows: Let L be a propositional logic/deductive system in the language with formulas for verum, which is a theorem, and falsum, which is not a theorem. Assume also that L has an adequate semantics given by a discriminator variety. Then L is structurally complete if and only if it is maximal. All such logics/deductive systems are almost structurally complete. Keywords:
Cechy publikacji
peer-reviewed
original-article
Inne
System-identifier
MiNI_4425
CrossrefMetadata from Crossref logo
Cytowania
Liczba prac cytujących tę pracę
Brak danych
Referencje
Liczba prac cytowanych przez tę pracę
Brak danych