Embeddings of propositional monomodal logics.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 861, doi. 10.1093/jigpal/8.6.861
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 6
Results: 9
1
2
Defining double negation elimination.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 853, doi. 10.1093/jigpal/8.6.853
- By:
- Publication type:
- Article
3
Characterising combinational timing analyses in intuitionistic modal logic.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 821, doi. 10.1093/jigpal/8.6.821
- By:
- Publication type:
- Article
4
Strongly decidable properties of modal and intuitionistic calculi.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 797, doi. 10.1093/jigpal/8.6.797
- By:
- Publication type:
- Article
5
Generating hard tautologies using predicate logic and the symmetric group.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 787, doi. 10.1093/jigpal/8.6.787
- By:
- Publication type:
- Article
6
Completeness of implicational relevant logics.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 761, doi. 10.1093/jigpal/8.6.761
- By:
- Publication type:
- Article
7
On the set of atoms.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 751, doi. 10.1093/jigpal/8.6.751
- By:
- Publication type:
- Article
8
Analytic cut trees.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 733, doi. 10.1093/jigpal/8.6.733
- By:
- Publication type:
- Article
9
Information transfer across Chu spaces.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 719, doi. 10.1093/jigpal/8.6.719
- By:
- Publication type:
- Article