Works matching IS 13670751 AND DT 2008 AND VI 16 AND IP 2
Results: 7
Conferences.
- Published in:
- 2008
- Publication type:
- Proceeding
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 175, doi. 10.1093/jigpal/jzm059
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 231, doi. 10.1093/jigpal/jzn005
- Publication type:
- Article
Logics with the Qualitative Probability Operator.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 105, doi. 10.1093/jigpal/jzm031
- By:
- Publication type:
- Article
On Ignorance and Contradiction Considered as Truth-Values*.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 195, doi. 10.1093/jigpal/jzn003
- By:
- Publication type:
- Article
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 121, doi. 10.1093/jigpal/jzm057
- By:
- Publication type:
- Article
Sequent Calculi for Some Strict Implication Logics.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 155, doi. 10.1093/jigpal/jzm058
- By:
- Publication type:
- Article