Works matching IS 13670751 AND DT 2004 AND VI 12 AND IP 6
Results: 14
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 641, doi. 10.1093/jigpal/12.6.641
- Publication type:
- Article
Functional Interpretation of Logics for ‘Generally’.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 627, doi. 10.1093/jigpal/12.6.627
- By:
- Publication type:
- Article
Natural Deduction and Weak Normalization for Full Linear Logic.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 601, doi. 10.1093/jigpal/12.6.601
- By:
- Publication type:
- Article
Relating Intuitionist Negation and Triviality.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 581, doi. 10.1093/jigpal/12.6.581
- By:
- Publication type:
- Article
Contenability and the Logic of Consequential Implication.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 561, doi. 10.1093/jigpal/12.6.561
- By:
- Publication type:
- Article
Finite Diagonal-free Two-dimensional Cylindric Algebras.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 509, doi. 10.1093/jigpal/12.6.509
- By:
- Publication type:
- Article
An Omitting Types Theorem for Sheaves over Topological Spaces.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 525, doi. 10.1093/jigpal/12.6.525
- By:
- Publication type:
- Article
An Isomorphism Related to Gödel's Fundamental Operations.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 439, doi. 10.1093/jigpal/12.6.439
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 431, doi. 10.1093/jigpal/12.6.431
- By:
- Publication type:
- Article
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 549, doi. 10.1093/jigpal/12.6.549
- By:
- Publication type:
- Article
Ockham Algebras with Additional Operators.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 447, doi. 10.1093/jigpal/12.6.447
- By:
- Publication type:
- Article
Notes on n × m-valued Łukasiewicz Algebras with Negation.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 499, doi. 10.1093/jigpal/12.6.499
- By:
- Publication type:
- Article
Chang's Ł* Logic.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 485, doi. 10.1093/jigpal/12.6.485
- By:
- Publication type:
- Article
MV*—Algebras.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 461, doi. 10.1093/jigpal/12.6.461
- By:
- Publication type:
- Article