Pregled bibliografske jedinice broj: 182965
Generalized Veltman Models with a Root
Generalized Veltman Models with a Root // Mathematical communications, 9 (2004), 1; 105-111 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 182965 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Generalized Veltman Models with a Root
Autori
Vuković, Mladen
Izvornik
Mathematical communications (1331-0623) 9
(2004), 1;
105-111
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
generalized Veltman models
Sažetak
We consider generalized Veltman models with a root, i.e. r-validity, r-satisfiability and a consequence relation. We modify Fine's and Rautenberg's proof and prove non-compactness of interpretability logic.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- Mathematical Reviews
- Zentralblatt fur Mathematik
