Advertisement

A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics

  • Heinrich Wansing
Part of the Trends in Logic book series (TREN, volume 3)

Abstract

In what follows we shall use display logic to define a proof-theoretic semantics in terms of general introduction schemata. It will be shown that with respect to this semantics the set of connectives {[F], [P], ∧, ¬} is functionally complete for every displayable normal propositional tense logic and the set of connectives {[F], ∧, ¬} is functionally complete for every displayable normal propositional modal logic. It seems that there exists no other proof-theoretic characterization of modal operators (apart from intuitionistic implication ⊃ h ) in the literature.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

  • Heinrich Wansing
    • 1
  1. 1.Institute of Logic and Philosophy of ScienceUniversity of LeipzigLeipzigGermany

Personalised recommendations