Switch to: References

Add citations

You must login to add citations.
  1. On the algebraization of Henkin‐type second‐order logic.Miklós Ferenczi - 2022 - Mathematical Logic Quarterly 68 (2):149-158.
    There is an extensive literature related to the algebraization of first‐order logic. But the algebraization of full second‐order logic, or Henkin‐type second‐order logic, has hardly been researched. The question arises: what kind of set algebra is the algebraic version of a Henkin‐type model of second‐order logic? The question is investigated within the framework of the theory of cylindric algebras. The answer is: a kind of cylindric‐relativized diagonal restricted set algebra. And the class of the subdirect products of these set algebras (...)
    Download  
     
    Export citation  
     
    Bookmark