Reports on Mathematical Logic

No. 49 (2014)


Norihiro Kamide, An eight-valued praconsistent logic; (full text - pdf), pp. 3 - 21.

Rafael Grimson, Bart Kuijpers, Some fragments of second-order logic over the reals for which satis ability and equivalence are (un)decidable; (full text - pdf), pp. 23 - 34.

Grzegorz Jagiella, Ludomir Newelski, On ordered minimal structures; (full text - pdf), pp. 35 - 46.

Sergio A. Celani, Daniela Montangie, Hilbert algebras with a necessity modal operator; (full text - pdf), pp. 47 - 77.

Jerzy Mycka, Recursively enumerable sets and well-ordering of their enumerations; (full text - pdf), pp. 79 - 97.

Grzegorz Herman, Complexity of cover-preserving embeddings of bipartite orders into Boolean lattices; (full text - pdf), pp. 99 - 117.

Back to Main Menu