Reports on Mathematical Logic,2014, Number 49

Rok wydania: 2014
Redaktorzy: Paweł M. Idziak, Andrzej Wroński

Artykuły

Ilość
Sortuj według

AN EIGHT-VALUED PRACONSISTENT LOGIC

Reports on Mathematical Logic, 2014, Number 49, s. 3-21
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.001.2271

SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE

Reports on Mathematical Logic, 2014, Number 49, s. 23-34
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.002.2272

ON ORDERED MINIMAL STRUCTURES

Reports on Mathematical Logic, 2014, Number 49, s. 35-46
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.003.2273

HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR

Reports on Mathematical Logic, 2014, Number 49, s. 47-77
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.004.2274

RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS

Reports on Mathematical Logic, 2014, Number 49, s. 79-97
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.005.2275

COMPLEXITY OF COVER-PRESERVING EMBEDDINGS OF BIPARTITE ORDERS INTO BOOLEAN LATTICES

Reports on Mathematical Logic, 2014, Number 49, s. 99-117
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.006.2276