Order:
  1.  12
    Vopěnkova Alternativní teorie množin v matematickém kánonu 20. století.Zuzana Haniková - 2022 - Filosoficky Casopis 70 (3):485-504.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  24
    Structural Completeness in Many-Valued Logics with Rational Constants.Joan Gispert, Zuzana Haniková, Tommaso Moraschini & Michał Stronkowski - 2022 - Notre Dame Journal of Formal Logic 63 (3):261-299.
    The logics RŁ, RP, and RG have been obtained by expanding Łukasiewicz logic Ł, product logic P, and Gödel–Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in Ł, P, and G. Namely, RŁ is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  33
    Distinguishing standard SBL‐algebras with involutive negations by propositional formulas.Zuzana Haniková & Petr Savický - 2008 - Mathematical Logic Quarterly 54 (6):579-596.
    Propositional fuzzy logics given by a combination of a continuous SBL t-norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t-norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of propositional tautologies is presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark