A separable axiomatization of the Gabbay-de Jongh logics.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 365, doi. 10.1093/jigpal/jzx001
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2017 AND VI 25 AND IP 3
Results: 6
1
2
Relatively compatible operations in BCK-algebras and some related algebras.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 348, doi. 10.1093/jigpal/jzx002
- By:
- Publication type:
- Article
3
Minimizing disjunctive normal forms of pure first-order logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 325, doi. 10.1093/jigpal/jzx003
- By:
- Publication type:
- Article
4
Epistemic extensions of combined classical and intuitionistic propositional logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 309, doi. 10.1093/jigpal/jzx004
- By:
- Publication type:
- Article
5
Decision and optimization problems in the unreliable-circuit logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 283, doi. 10.1093/jigpal/jzx005
- By:
- Publication type:
- Article
6
Cut-elimination and deductive polarization in complementary classical logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 273, doi. 10.1093/jigpal/jzx006
- By:
- Publication type:
- Article