16 research outputs found

    Generalizations

    No full text

    A Note on Fuzzy Inference as Deduction

    No full text

    Numerations of R.E. Sets

    No full text

    Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics

    No full text
    We present a general framework that allows to construct systematically analytic calculi for a large family of (propositional) many-valued logics --- called projective logics --- characterized by a special format of their semantics. All finite-valued logics as well as infinite-valued Godel logic are projective. As a case-study, sequent of relations calculi for Godel logics are derived. A comparison with some other analytic calculi is provided
    corecore