Works matching IS 13670751 AND DT 2013 AND VI 21 AND IP 2
Results: 11
Reasoning with inconsistencies in hybrid MKNF knowledge bases.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 263, doi. 10.1093/jigpal/jzs043
- By:
- Publication type:
- Article
From the research on logics without tautologies (part 3).
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 252, doi. 10.1093/jigpal/jzs042
- By:
- Publication type:
- Article
Unifiers in transitive modal logics for formulas with coefficients (meta-variables).
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 205, doi. 10.1093/jigpal/jzs038
- By:
- Publication type:
- Article
Procedural isomorphism, analytic information and β-conversion by value.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 291, doi. 10.1093/jigpal/jzs044
- By:
- Publication type:
- Article
Writing out unifiers for formulas with coefficients in intuitionistic logic.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 187, doi. 10.1093/jigpal/jzs015
- By:
- Publication type:
- Article
From the research on logics without tautologies (part 2).
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 234, doi. 10.1093/jigpal/jzs041
- By:
- Publication type:
- Article
The Boolean and profinite hulls of reduced special groups.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 160, doi. 10.1093/jigpal/jzs013
- By:
- Publication type:
- Article
From the research on logics without tautologies (part 1).
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 216, doi. 10.1093/jigpal/jzs040
- By:
- Publication type:
- Article
Some remarks on Cantor–Łukasiewicz fuzzy set theory.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 183, doi. 10.1093/jigpal/jzs014
- By:
- Publication type:
- Article
Intuitionistic modal logic with a galois connection has the finite model property1.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 199, doi. 10.1093/jigpal/jzs016
- By:
- Publication type:
- Article
Three formats of prioritized adaptive logics: a comparative study.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 2, p. 127, doi. 10.1093/jigpal/jzs004
- By:
- Publication type:
- Article