Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 6, p. 902, doi. 10.1093/jigpal/jzl034
- Publication type:
- Article
Works matching IS 13670751 AND DT 2006 AND VI 14 AND IP 6
Results: 6
1
2
A Bizarre Property Equivalent to the -Fan Theorem.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 6, p. 867, doi. 10.1093/jigpal/jzl026
- By:
- Publication type:
- Article
3
Decidability of Cancellative Extension of Monoidal T-norm Based Logic.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 6, p. 827, doi. 10.1093/jigpal/jzl012
- By:
- Publication type:
- Article
4
A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 6, p. 873, doi. 10.1093/jigpal/jzl027
- By:
- Publication type:
- Article
5
Diagram Construction in Intuitionistic Logic.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 6, p. 889, doi. 10.1093/jigpal/jzl028
- By:
- Publication type:
- Article
6
Algebraization of Non-structural Logics.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 6, p. 845, doi. 10.1093/jigpal/jzl015
- By:
- Publication type:
- Article