Search

Your search keyword '"METCALFE, GEORGE"' showing total 345 results

Search Constraints

Start Over You searched for: Author "METCALFE, GEORGE" Remove constraint Author: "METCALFE, GEORGE"
345 results on '"METCALFE, GEORGE"'

Search Results

1. Ordering groups and the Identity Problem

2. Equational theories of idempotent semifields

Catalog

Books, media, physical & digital resources

3. One-variable fragments of first-order logics

4. Interpolation and the Exchange Rule

5. Deciding Equations in the Time Warp Algebra

6. Algebraic semantics for one-variable lattice-valued logics

8. Transfer theorems for finitely subdirectly irreducible algebras

9. On-line analysis of bacterial metabolism by modern spectroscopic laser techniques

10. Deciding dependence in logic and algebra

11. Time Warps, from Algebra to Algorithms

12. From distributive l-monoids to l-groups, and back again

13. Model completions for universal classes of algebras: necessary and sufficient conditions

15. Structure theorems for idempotent residuated lattices

16. Theorems of Alternatives for Substructural Logics

17. Integrally Closed Residuated Lattices

18. Coherence in Modal Logic

19. Ordering groups and validity in lattice-ordered groups

20. Uniform interpolation and coherence

22. Checking Admissibility Using Natural Dualities

24. Proof Theory and Ordered Groups

25. A Real-Valued Modal Logic

28. Exact Unification and Admissibility

29. Admissibility via Natural Dualities

31. Exact Unification

34. The One-Variable Fragment of Corsi Logic

35. Admissibility in Finitely Generated Quasivarieties

39. Towards a Proof Theory of G\'odel Modal Logics

48. Skolemization for Substructural Logics

49. Uniformity and Efficiency

50. Syntactic Eliminations