Intuitionistic modal logic with a galois connection has the finite model property
PBN-AR
Instytucja
Wydział Matematyki, Fizyki i Chemii (Uniwersytet Śląski w Katowicach)
Informacje podstawowe
Główny język publikacji
EN
Czasopismo
LOGIC JOURNAL OF THE IGPL
ISSN
1367-0751
EISSN
1368-9894
Wydawca
OXFORD UNIV PRESS
DOI
URL
Rok publikacji
2013
Numer zeszytu
2
Strony od-do
199-204
Numer tomu
21
Identyfikator DOI
Liczba arkuszy
0,3
Autorzy
(liczba autorów: 3)
Pozostali autorzy
+ 2
Słowa kluczowe
EN
Galois connection
Streszczenia
Język
EN
Treść
We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.
Inne
System-identifier
0192400098079
CrossrefMetadata from Crossref logo
Cytowania
Liczba prac cytujących tę pracę
Brak danych
Referencje
Liczba prac cytowanych przez tę pracę
Brak danych