7 found
Order:
  1.  14
    Choice principles in hyperuniverses.Marco Forti & Furio Honsell - 1996 - Annals of Pure and Applied Logic 77 (1):35-52.
    It is well known that the validity of Choice Principles is problematic in non-standard Set Theories which do not abide by the Limitation of Size Principle. In this paper we discuss the consistency of various Choice Principles with respect to the Generalized Positive Comprehension Principle . The Principle GPC allows to take as sets those classes which can be specified by Generalized Positive Formulae, e.g. the universe. In particular we give a complete characterization of which choice principles hold in Hyperuniverses. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  77
    Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
    We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  16
    Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
    The proof of Lemma 5 in our paper “Choice Principles in Hyperuniverses” [3], contains an error. In the present note we show that the statement of that lemma is false and hence the Axiom of Choice fails in all κ-hyperuniverses, for uncountable κ. However, a weaker version of Lemma 5 can be proved, which implies that the Linear Ordering Principle holds in all κ-metric κ-hyperuniverses.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  38
    A Model where Cardinal Ordering is Universal.Marco Forti & Furio Honsell - 1985 - Mathematical Logic Quarterly 31 (31-34):533-536.
  5.  42
    Comparison of the axioms of local and global universality.Marco Forti & Furio Honsell - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (13‐16):193-196.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
  7.  33
    The consistency of the axiom of universality for the ordering of cardinalities.Marco Forti & Furio Honsell - 1985 - Journal of Symbolic Logic 50 (2):502-509.