4 found
Sort by:
Disambiguations:
Eugenio G. Omodeo [3]Eugenio Giovanni Omodeo [1]
  1. Andrea Formisano, Eugenio G. Omodeo & Ewa Orłowska (2006). An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-Classical Logics. In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. 89--104.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Andrea Formisano, Eugenio G. Omodeo & Alberto Policriti (2005). The Axiom of Elementary Sets on the Edge of Peircean Expressibility. Journal of Symbolic Logic 70 (3):953 - 968.
    Being able to state the principles which lie deepest in the foundations of mathematics by sentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987. The main achievement of this paper is the proof that the 'kernel' set theory whose postulates are extensionality. (E), and single-element adjunction and removal. (W) and (L), cannot be axiomatized by means of three-variable sentences. This (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti (1996). Decidability of ∀*∀‐Sentences in Membership Theories. Mathematical Logic Quarterly 42 (1):41-58.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Eugenio Giovanni Omodeo (1980). Three Existence Principles in a Modal Calculus Without Descriptions Contained in A. Bressan's ${\Rm MC}^\Nu$. Notre Dame Journal of Formal Logic 21 (4):711-727.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation