LWBtheory: Information about some propositional logics via the WWW.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 169, doi. 10.1093/jigpal/5.1.169
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 1997 AND VI 5 AND IP 1
Results: 8
1
2
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 145, doi. 10.1093/jigpal/5.1.145
- By:
- Publication type:
- Article
3
First order meta theories.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 97, doi. 10.1093/jigpal/5.1.97
- By:
- Publication type:
- Article
4
The logic of informational independence and finite models.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 79, doi. 10.1093/jigpal/5.1.79
- By:
- Publication type:
- Article
5
Pretopology semantics for bimodal intuitionistic linear logic.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 65, doi. 10.1093/jigpal/5.1.65
- By:
- Publication type:
- Article
6
A reduction of the theory of confirmation to the notions of distance and measure.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 49, doi. 10.1093/jigpal/5.1.49
- By:
- Publication type:
- Article
7
Saturatedness in cylindric algebraic model theory.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 25, doi. 10.1093/jigpal/5.1.25
- By:
- Publication type:
- Article
8
Strong representability of fork algebras, a set theoretic foundation.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 1, p. 3, doi. 10.1093/jigpal/5.1.3
- By:
- Publication type:
- Article