Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 933, doi. 10.1093/jigpal/jzz024
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2019 AND VI 27 AND IP 6
Results: 8
1
2
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 910, doi. 10.1093/jigpal/jzz021
- By:
- Publication type:
- Article
3
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 895, doi. 10.1093/jigpal/jzz009
- By:
- Publication type:
- Article
4
Propositional quantifiers in labelled natural deduction for normal modal logic.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 865, doi. 10.1093/jigpal/jzz008
- By:
- Publication type:
- Article
5
Superrational types.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 847, doi. 10.1093/jigpal/jzz007
- By:
- Publication type:
- Article
6
The logic of linear propositions.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 836, doi. 10.1093/jigpal/jzz006
- By:
- Publication type:
- Article
7
Monadic NM-algebras.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 812, doi. 10.1093/jigpal/jzz005
- By:
- Publication type:
- Article
8
A logical framework for view updating in indefinite databases.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 777, doi. 10.1093/jigpal/jzz003
- By:
- Publication type:
- Article