Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 6
Results: 9
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
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
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
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
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
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
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
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
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