Works matching IS 13670751 AND DT 2006 AND VI 14 AND IP 6
Results: 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
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
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
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
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
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2006, v. 14, n. 6, p. 902, doi. 10.1093/jigpal/jzl034
- Publication type:
- Article