Works matching IS 13670751 AND DT 2019 AND VI 27 AND IP 3

Results: 7

Some lattice-ordered algebras on which all congruences are principal.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 314, doi. 10.1093/jigpal/jzy050

By:

Congwen, Luo;
Gaoxia, Wang

Publication type:

Article

Probabilistic logic of quantum observations.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 328, doi. 10.1093/jigpal/jzy051

By:

Sernadas, A;
Rasga, J;
Sernadas, C;
Alcácer, L;
Henriques, A B

Publication type:

Article

On categorical equivalences of equality algebras and monadic equality algebras.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 267, doi. 10.1093/jigpal/jzy038

By:

Liu, Hongxing

Publication type:

Article

Localizing finite-depth Kripke models.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 239, doi. 10.1093/jigpal/jzy036

By:

Mojtahedi, Mojtaba

Publication type:

Article

Craig's trick and a non-sequential system for the Lambek calculus and its fragments.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 252, doi. 10.1093/jigpal/jzy037

By:

Kuznetsov, Stepan;
Lugovaya, Valentina;
Ryzhova, Anastasiia

Publication type:

Article

Basic propositional logic and the weak excluded middle.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 371, doi. 10.1093/jigpal/jzy052

By:

Alizadeh, Majid;
Ardeshir, Mohammad

Publication type:

Article

Analogues of Bull's theorem for hybrid logic.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 281, doi. 10.1093/jigpal/jzy039

By:

Conradie, Willem;
Robinson, Claudette

Publication type:

Article