Skip to main content
View expanded cover

International Workshop on Logic, Rationality and Interaction

LORI 2017: Logic, Rationality, and Interaction pp 438–450Cite as

Non-triviality Done Proof-Theoretically

  • 788 Accesses

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 10455)

Abstract

It is well known that naive theories of truth based on the three-valued schemes K3 and LP are non-trivial.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-662-55665-8_30
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   84.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-55665-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   109.99
Price excludes VAT (USA)
Learn about institutional subscriptions
Fig. 1.
Fig. 2.
Fig. 3.

Notes

  1. 1.

    See Gupta (1982), Kremer (1988), or Ripley (2012).

  2. 2.

    These two rules are based on those from Kremer (1988) and from Negri and von Plato (2001).

  3. 3.

    The appropriate [Cl] axiom for LP would be .

  4. 4.

    This problem was pointed out by Kremer (1988).

  5. 5.

    Negri and von Plato (2001, 32).

  6. 6.

    Note that we are assuming there are no function symbols in the language.

  7. 7.

    See Bimbó (2015, 36-51) for details.

  8. 8.

    Syntax consistency says, roughly, that the set of equalities on the left and negations of equalities on the right can be extended to an annotation set.

References

Download references

Acknowledgments

We would like to thank the members of audiences at the Otago Logic Seminar and the Australasian Association for Logic Conference 2016 for feedback on this material. Shawn Standefer’s research was supported by the Australian Research Council, Discovery Grant DP150103801.

Author information

Authors and Affiliations

  1. Monash Unversity, Melbourne, Australia

    Rohan French

  2. University of Melbourne, Melbourne, Australia

    Shawn Standefer

Authors
  1. Rohan French
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shawn Standefer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shawn Standefer .

Editor information

Editors and Affiliations

  1. Institute for Logic, Language and Computation, University of Amsterdam , Amsterdam, Noord-Holland, The Netherlands

    Alexandru Baltag

  2. Department of Philosophy, The University of Auckland, Auckland, Auckland, New Zealand

    Jeremy Seligman

  3. Graduate School of Letters, Hokkaido University , Sapporo, Japan

    Tomoyuki Yamada

Rights and permissions

Reprints and Permissions

Copyright information

© 2017 Springer-Verlag GmbH Germany

About this paper

Cite this paper

French, R., Standefer, S. (2017). Non-triviality Done Proof-Theoretically. In: Baltag, A., Seligman, J., Yamada, T. (eds) Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science(), vol 10455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55665-8_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-55665-8_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-55664-1

  • Online ISBN: 978-3-662-55665-8

  • eBook Packages: Computer ScienceComputer Science (R0)