7 found
Order:
  1.  67
    Many-Valued Logics and Suszko's Thesis Revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.
    Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  17
    The Undecidability of Formal Definitions in the Theory of Finite Groups.Newton Ca da Costa, Francisco A. Doria & Marcelo Tsuji - 1995 - Bulletin of the Section of Logic 24:56-63.
  3.  43
    The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Da Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553 - 568.
    We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. A Paraconsitent Theory of Decision Under Uncertainty'.Marcelo Tsuji - 1997 - Logique Et Analyse 157:101-114.
  5.  75
    Partial Structures and Jeffrey-Keynes Algebras.Marcelo Tsuji - 2000 - Synthese 125 (1-2):283-299.
    In Tsuji 1997 the concept of Jeffrey-Keynes algebras was introduced in order to construct a paraconsistent theory of decision under uncertainty. In the present paper we show that these algebras can be used to develop a theory of decision under uncertainty that measures the degree of belief on the quasi (or partial) truth of the propositions. As applications of this new theory of decision, we use it to analyze Popper's paradox of ideal evidence and to indicate a possible way of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  45
    Suppes Predicates for Meta-Ranking Structures.Marcelo Tsuji - 1997 - Synthese 112 (2):281-299.
    In this paper the general notion of Bourbaki structures, interpreted in terms of Suppes predicates, will be used to axiomatize a system of meta-rankings in the sense introduced by A. K. Sen. It will be argued that this axiomatization must take place in a Kantian-ruled world in order to provide a link between meta-rankings and individual actions.Dedicated to Prof. Francisco A. Doria on his 50th birthday.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  76
    The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.
    We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark