Connecting you to content on EBSCOhost

Works matching IS 13670751 AND DT 1997 AND VI 5 AND IP 5

Results: 6

1

Typed logics with states.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 5, p. 623, doi. 10.1093/jigpal/5.5.623

By:

van Eijck, J

Publication type:

Article

2

Conferences. Abductive and inductive reasoning: report of the ECAI'96 workshop.

Published in:

1997

By:

Flach, PA;
Kakas, A

Publication type:

Proceeding

3

Filters and partial orders.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 5, p. 753, doi. 10.1093/jigpal/5.5.753

By:

Schlechta, K

Publication type:

Article

4

Finite schematizable algebraic logic.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 5, p. 699, doi. 10.1093/jigpal/5.5.699

By:

Sain, I;
Gyuris, V

Publication type:

Article

5

Relational proof system for linear and other substructural logics.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 5, p. 673, doi. 10.1093/jigpal/5.5.673

By:

MacCaull, W

Publication type:

Article

6

Parsing natural language using LDS: a prototype.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 5, p. 647, doi. 10.1093/jigpal/5.5.647

By:

Finger, M;
Kibble, R;
Gabbay, D;
Kempson, R

Publication type:

Article