Works matching IS 13670751 AND DT 2004 AND VI 12 AND IP 4
Results: 5
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 4, p. 343, doi. 10.1093/jigpal/12.4.343
- Publication type:
- Article
Conferences.
- Published in:
- 2004
- Publication type:
- Proceeding
Tabular Logics with no Finite Bases for Inference Rules.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 4, p. 301, doi. 10.1093/jigpal/12.4.301
- By:
- Publication type:
- Article
Axiomatization of a Denotational Semantics for First-order Logic.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 4, p. 277, doi. 10.1093/jigpal/12.4.277
- By:
- Publication type:
- Article
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 4, p. 313, doi. 10.1093/jigpal/12.4.313
- By:
- Publication type:
- Article