Switch to: References

Citations of:

Inclusive first-order logic

Studia Logica 40 (1):13 - 28 (1981)

Add citations

You must login to add citations.
  1. A categorical approach to polyadic algebras.Roch Ouellet - 1982 - Studia Logica 41 (4):317 - 327.
    It is shown that a locally finite polyadic algebra on an infinite set V of variables is a Boolean-algebra object, endowed with some internal supremum morphism, in the category of locally finite transformation sets on V. Then, this new categorical definition of polyadic algebras is used to simplify the theory of these algebras. Two examples are given: the construction of dilatations and the definition of terms and constants.
    Download  
     
    Export citation  
     
    Bookmark   1 citation