Conferences.
- Published in:
- 2008
- Publication type:
- Proceeding
Works matching IS 13670751 AND DT 2008 AND VI 16 AND IP 2
Results: 7
1
2
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
3
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 231, doi. 10.1093/jigpal/jzn005
- Publication type:
- Article
4
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
5
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
6
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
7
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