Skip to main content
SpringerLink
Log in

Distributive-Lattice Semantics of Sequent Calculi with Structural Rules

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

The goal of the paper is to develop a universal semantic approach to derivable rules of propositional multiple-conclusion sequent calculi with structural rules, which explicitly involve not only atomic formulas, treated as metavariables for formulas, but also formula set variables (viz., metavariables for finite sets of formulas), upon the basis of the conception of model introduced in (Fuzzy Sets Syst 121(3):27–37, 2001). One of the main results of the paper is that any regular sequent calculus with structural rules has such class of sequent models (called its semantics) that a rule is derivable in the calculus iff it is sound with respect to each model of the semantics. We then show how semantics of admissible rules of such calculi can be found with using a method of free models. Next, our universal approach is applied to sequent calculi for many-valued logics with equality determinant. Finally, we exemplify this application by studying sequent calculi for some of such logics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Balbes R., Dwinger P.: Distributive lattices. University of Missouri Press, Columbia (1974)

    MATH  Google Scholar 

  2. Béziau J.-Y.: A sequent calculus for Łukasiewicz’s three-valued logic based on Suszko’s bivalent semantics. Bull. Sect. Logic 28, 89–97 (1999)

    MATH  Google Scholar 

  3. Gentzen, G.: Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39 176–210, 405–431 (1934)

    Google Scholar 

  4. Gödel K.: Zum intuitionistischen Aussagenkalkül. Anz. Akad. Wiss. Wien 69, 65–66 (1932)

    Google Scholar 

  5. Łukasiewicz J.: O logice trójwartościowej. Ruch Filozoficzny 5, 170–171 (1920)

    Google Scholar 

  6. Maehara S.: Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya Math. J. 7, 45–64 (1954)

    MATH  MathSciNet  Google Scholar 

  7. Mal’cev A.I.: Algebraic Systems. Springer, New York (1965)

    Google Scholar 

  8. Pynko A.P.: Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. J. Appl. Non-Classical Logics 9(1/2), 61–105 (1999) Special Issue on Multi-Valued Logics

    MATH  MathSciNet  Google Scholar 

  9. Pynko A.P.: Fuzzy semantics for multiple-conclusion sequential calculi with structural rules. Fuzzy Sets Syst. 121(3), 27–37 (2001)

    Article  MathSciNet  Google Scholar 

  10. Pynko A.P.: Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules. Fuzzy Sets Syst. 129(2), 255–265 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  11. Pynko A.P.: Semantics of multiplicative propositional signed sequent calculi with structural rules. J. Multiple-Valued Logic Soft Comput. 10, 339–362 (2004)

    MATH  MathSciNet  Google Scholar 

  12. Pynko A.P.: Sequential calculi for many-valued logics with equality determinant. Bull. Sect. Logic 33(1), 23–32 (2004)

    MATH  MathSciNet  Google Scholar 

  13. Schröter K.: Methoden zur axiomatisierung beliebiger aussagen- und prädikatenkalküle. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1, 241–251 (1955)

    Article  MATH  Google Scholar 

  14. Smullyan R.: First-Order Logic. Springer, New York (1968)

    MATH  Google Scholar 

  15. Takeuti G.: Proof theory, Studies in Logic, vol. 81. North-Holland, Amsterdam (1975)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Digital Automata Theory (100), V.M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Academician Glushkov prosp. 40, 03680, Kiev, Ukraine

    Alexej P. Pynko

Authors
  1. Alexej P. Pynko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexej P. Pynko.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pynko, A.P. Distributive-Lattice Semantics of Sequent Calculi with Structural Rules. Log. Univers. 3, 59–94 (2009). https://doi.org/10.1007/s11787-009-0001-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-009-0001-6

Mathematics Subject Classification (2000)

Keywords

Search

Navigation