Works matching IS 13670751 AND DT 2008 AND VI 16 AND IP 3
Results: 6
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based π-Institutions.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 233, doi. 10.1093/jigpal/jzn002
- By:
- Publication type:
- Article
Complete Axiomatisations of Properties of Finite Sets.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 293, doi. 10.1093/jigpal/jzn008
- By:
- Publication type:
- Article
Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 269, doi. 10.1093/jigpal/jzn006
- By:
- Publication type:
- Article
Independent Bases of Admissible Rules.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 249, doi. 10.1093/jigpal/jzn004
- By:
- Publication type:
- Article
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 275, doi. 10.1093/jigpal/jzn007
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 315, doi. 10.1093/jigpal/jzn010
- Publication type:
- Article