10 found
Sort by:
  1. Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco (2014). Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics. Annals of Pure and Applied Logic 165 (2):409-427.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Joanna Golińska-Pilarek & Taneli Huuskonen (2012). Logic. Of Descriptions. A New Approach to the Foundations of Mathematics and Science. Studies in Logic, Grammar and Rhetoric 27:63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and complete- ness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Joanna Golińska-Pilarek & Taneli Huuskonen (2005). Number of Extensions of Non-Fregean Logics. Journal of Philosophical Logic 34 (2):193 - 206.
    We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Taneli Huuskonen, Tapani Hyttinen & Mika Rautila (2004). On Potential Isomorphism and Non-Structure. Archive for Mathematical Logic 43 (1):85-120.
    We show in the paper that for any non-classifiable countable theory T there are non-isomorphic models and that can be forced to be isomorphic without adding subsets of small cardinality. By making suitable cardinal arithmetic assumptions we can often preserve stationary sets as well. We also study non-structure theorems relative to the Ehrenfeucht-Fraïssé game.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Taneli Huuskonen, Tapani Hyttinen & Mika Rautila (1999). On the Kappa-Cub Game on Lambda and I[Lambda ]. Archive for Mathematical Logic 38 (8):549-557.
    We discuss the relationships between the notions of $\kappa $ -cub game on $\lambda $ , $\kappa $ -cub subset of $\lambda $ , the ideal of good subsets of $\lambda $ and the problem of adding a $\kappa $ -cub into a given $\kappa $ -stationary subset of $\lambda $ . We also give a short introduction to the ideal of good subsets of $\lambda $.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Taneli Huuskonen, Tapani Hyttinen & Mika Rautila (1999). On the [Mathematical Formula]-Cub Game on [Mathematical Formula] and [Mathematical Formula]. Archive for Mathematical Logic 8.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Taneli Huuskonen (1995). Comparing Notions of Similarity for Uncountable Models. Journal of Symbolic Logic 60 (4):1153-1167.
    The present article, which is a revised version of part of [Hu1], deals with various relations between models which might serve as exact formulations for the vague concept "similar" or "almost isomorphic". One natural class of such formulations is equivalence in a given logic. Another way to express similarity is by potential isomorphism, i.e., isomorphism in some extension of the set-theoretic universe. The class of extensions may be restricted to give different notions of potential isomorphism. A third method is to (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Taneli Huuskonen (1995). Observations About Scott and Karp Trees. Annals of Pure and Applied Logic 76 (3):201-230.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Taneli Huuskonen (1991). Small Nonisomorphic Models Can Be Equivalent in Long Games. Bulletin of the Section of Logic 20 (3/4):105-106.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Taneli Huuskonen (1991). The Construction of A Definable Non‐Categorical Domain. Mathematical Logic Quarterly 37 (13‐16):217-226.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation