Works matching IS 01372904 AND DT 2014
Results: 6
COMPLEXITY OF COVER-PRESERVING EMBEDDINGS OF BIPARTITE ORDERS INTO BOOLEAN LATTICES.
- Published in:
- Reports on Mathematical Logic, 2014, n. 49, p. 99, doi. 10.4467/20842589RM.14.006.2276
- By:
- Publication type:
- Article
RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS.
- Published in:
- Reports on Mathematical Logic, 2014, n. 49, p. 79, doi. 10.4467/20842589RM.14.005.2275
- By:
- Publication type:
- Article
HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR.
- Published in:
- Reports on Mathematical Logic, 2014, n. 49, p. 47, doi. 10.4467/20842589RM.14.004.2274
- By:
- Publication type:
- Article
ON ORDERED MINIMAL STRUCTURES.
- Published in:
- Reports on Mathematical Logic, 2014, n. 49, p. 35, doi. 10.4467/20842589RM.14.003.2273
- By:
- Publication type:
- Article
SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE.
- Published in:
- Reports on Mathematical Logic, 2014, n. 49, p. 23, doi. 10.4467/20842589RM.14.002.2272
- By:
- Publication type:
- Article
AN EIGHT-VALUED PRACONSISTENT LOGIC.
- Published in:
- Reports on Mathematical Logic, 2014, n. 49, p. 3, doi. 10.4467/20842589RM.14.001.2271
- By:
- Publication type:
- Article