Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 341, doi. 10.1093/jigpal/jzu047
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2015 AND VI 23 AND IP 2
Results: 8
1
2
Explicit substitution calculi with de Bruijn indices and intersection type systems.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 295, doi. 10.1093/jigpal/jzu044
- By:
- Publication type:
- Article
3
Counting weak Heyting algebras on finite distributive lattices.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 247, doi. 10.1093/jigpal/jzu033
- By:
- Publication type:
- Article
4
On structural completeness versus almost structural completeness problem: A discriminator varieties case study.
- Published in:
- 2015
- By:
- Publication type:
- Case Study
5
On frontal operators in Hilbert algebras.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 217, doi. 10.1093/jigpal/jzu031
- By:
- Publication type:
- Article
6
On guarded transformation in the modal μ-calculus.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 194, doi. 10.1093/jigpal/jzu030
- By:
- Publication type:
- Article
7
A binary Routley semantics for intuitionistic De Morgan minimal logic H<sub>M</sub> and its extensions.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 174, doi. 10.1093/jigpal/jzu029
- By:
- Publication type:
- Article
8
Reasoning with vectors: A continuous model for fast robust inference.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 141, doi. 10.1093/jigpal/jzu028
- By:
- Publication type:
- Article