Switch to: References

Add citations

You must login to add citations.
  1. On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
    In this paper we describe, in a purely algebraic language, truth-complete finite-valued propositional logical calculi extending the classical Boolean calculus. We also give a new proof of the Completeness Theorem for such calculi. We investigate the quasi-varieties of algebras playing an analogous role in the theory of these finite-valued logics to the role played by the variety of Boolean algebras in classical logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Plausible Reasoning for the Problems of Cognitive Sociology.Victor K. Finn & Maria A. Mikheyenkova - 2011 - Logic and Logical Philosophy 20 (1-2):111-137.
    The plausible reasoning class (called the JSM-reasoning in honour of John Stuart Mill) is described. It implements interaction of three forms of non-deductive procedures  induction, analogy and abduction. Empirical induction in the JSM-reasoning is the basis for generation of hypotheses on causal relations (determinants of social behaviour). Inference by analogy means that predictions about previously unknown properties of objects (individual’s behaviour) are inferred from causal relations. Abductive inference is performed to check on the explanatory adequacy of generated hypotheses. To (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark