9 found
Sort by:
  1. Michał Krynicki (1995). Quantifiers Determined by Classes of Binary Relations. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. 125--138.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Michał Krynicki (1993). Hierarchies of Partially Ordered Connectives and Quantifiers. Mathematical Logic Quarterly 39 (1):287-294.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Michał Krynicki & Marcin Mostowski (1992). Decidability Problems in Languages with Henkin Quantifiers. Annals of Pure and Applied Logic 58 (2):149-172.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen (1991). The Härtig Quantifier: A Survey. Journal of Symbolic Logic 56 (4):1153-1183.
    A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Michał Krynicki & Hans-Peter Tuschik (1991). An Axiomatization of the Logic with the Rough Quantifier. Journal of Symbolic Logic 56 (2):608-617.
  6. Michał Krynicki & Lesław Szczerba (1990). On Simplicity of Formulas. Studia Logica 49 (3):401 - 419.
    Simple formula should contain only few quantifiers. In the paper the methods to estimate quantity and quality of quantifiers needed to express a sentence equivalent to given one.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Adam Gajda, Michał Krynicki & Lesław Szczerba (1987). A Note on Syntactical and Semantical Functions. Studia Logica 46 (2):177 - 185.
    We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X is also finitely axiomatizable (i.e. iff is (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Michał Krynicki, Alistair Lachlan & Jouko Väänänen (1984). Vector Spaces and Binary Quantifiers. Notre Dame Journal of Formal Logic 25 (1):72-78.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Michał Krynicki & Alistair H. Lachlan (1979). On the Semantics of the Henkin Quantifier. Journal of Symbolic Logic 44 (2):184-200.