Switch to: References

Add citations

You must login to add citations.
  1. Bases for Structures and Theories II.Jeffrey Ketland - 2020 - Logica Universalis 14 (4):461-479.
    In Part I of this paper, I assumed we begin with a signature $$P = \{P_i\}$$ P = { P i } and the corresponding language $$L_P$$ L P, and introduced the following notions: a definition system$$d_{\Phi }$$ d Φ for a set of new predicate symbols $$Q_i$$ Q i, given by a set $$\Phi = \{\phi _i\}$$ Φ = { ϕ i } of defining $$L_P$$ L P -formulas \leftrightarrow \phi _i)$$ ∀ x ¯ ↔ ϕ i ) ); (...)
    Download  
     
    Export citation  
     
    Bookmark