A measure of logical inference and its game theoretical applications

Mamoru Kaneko, Nobu Yuki Suzuki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper presents a measure of inference in classical and intuitionistic logics in the Gentzen-style sequent calculus. The definition of the measure takes two steps: First, we measure the width of a given proof. Then the measure of inference assigns, to a given sequent, the minimum value of the widths of its possible proofs. It counts the indispensable cases for possible proofs of a sequent. This measure expresses the degree of difficulty in proving a given sequent. Although our problem is highly proof-theoretic, we are motivated by some general and specific problems in game theory/economics. In this paper, we will define a certain lower bound function, with which we may often obtain the exact value of the measure for a given sequent. We apply our theory a few game theoretical problems and calculate the exact values of the measure.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages139-150
Number of pages12
Volume6953 LNAI
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event3rd International Workshop on Logic, Rationality and Interaction, LORI 2011 - Guangzhou
Duration: 2011 Oct 102011 Oct 13

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6953 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other3rd International Workshop on Logic, Rationality and Interaction, LORI 2011
CityGuangzhou
Period11/10/1011/10/13

Keywords

  • Classical Logic
  • Game Theoretic Decision Making
  • Gentzen-style Sequent calculus
  • Intuitionistic Logic

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'A measure of logical inference and its game theoretical applications'. Together they form a unique fingerprint.

  • Cite this

    Kaneko, M., & Suzuki, N. Y. (2011). A measure of logical inference and its game theoretical applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6953 LNAI, pp. 139-150). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6953 LNAI). https://doi.org/10.1007/978-3-642-24130-7_10