Skip to main content
SpringerLink
Log in

Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic

  • Published:
Ukrainian Mathematical Journal Aims and scope

We study the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and the union of two independent sets of formulas are also independent by the operation of logical consequence, i.e., we establish the relationship between the logical consequence and the preservation of independence in propositional logic.

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. A. Tarski, “On some fundamental concepts of metamathematics,” Logic, Semantics, and Metamathematics, Clarendon Press, Oxford (1969).

  2. A. Tarski, Logic, Semantics, Metamathematics, 2nd ed., Hackett Publ., Indianapolis (1983).

    Google Scholar 

  3. C. Wallmann, “A shared framework for consequence operations and abstract model theory,” Log. Univers, 7, 125–145 (2013).

    Article  MathSciNet  Google Scholar 

  4. G. Priest, “Etchemendy and logical consequence,” Canad. J. Philos., 25, 283–292 (1995).

    Article  Google Scholar 

  5. G. Sher, “A conception of Tarskian logic,” Pac. Philos. Quart., 70, 341–368 (1989).

    Article  Google Scholar 

  6. I. Reznikoff, “Tout Ensemble de Formules de la Logique Classique est ´ Equivalent `a un Ensemble Independent,” C. R. Acad. Sci. Paris, 260, 2385–2388 (1965).

    MathSciNet  MATH  Google Scholar 

  7. I. Senturk, On the Independence of Sets of Formulas of First Order: Master Thesis [in Turkish], Ege University (2012).

  8. I. Senturk and T. Oner, “On the some set theoretical properties of logical consequence,” in: 13th Serbian Mathematical Congr. (2014).

  9. I. Senturk, T. Oner, and U. Nuriyev, “An algebraic approach to categorical syllogisms by using bilateral diagrams,” in: Proc. of the Fifth International Sci. Conf. of Students and Young Scientists, Kyiv-Ukraine (2015), pp. 14–21.

  10. J. Etchemendy, Tarski, Model Theory, and Logical Truth: Ph. D. Thesis, Stanford University (1982).

  11. P. Wojtylak, “Independent axiomatizability of sets of sentences,” Ann. Pure Appl. Logic, 44, 259–299 (1983).

    Article  MathSciNet  Google Scholar 

  12. R. Wojcicki, Theory of Logical Calculi, Kluwer AP, Dordrecht (1988).

    Book  Google Scholar 

  13. S. L. Bloom, “Some theorems on structural consequence operations,” Studia Logica, 34, 1–9 (1975).

    Article  MathSciNet  Google Scholar 

  14. S. R. Givant and R. N. McKenzie, Alfred Tarski’s Collected Papers, Birkh¨auser (1986).

  15. S. Shapire, The Philosophy of Mathematics Today, Clarendon Press, Oxford (1998).

    MATH  Google Scholar 

  16. T. Oner and M. Terziler, “Independence of countable sets of formulas of the propositional logic,” Ars Combin., 112, 73–80 (2013).

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ege University, Izmir, Turkey

    T. Öner & İ. Şentürk

  2. Dokuz Eylul University, Izmir, Turkey

    G. Öner

Authors
  1. T. Öner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. İ. Şentürk
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. G. Öner
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 70, No. 6, pp. 857–864, June, 2018.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Öner, T., Şentürk, İ. & Öner, G. Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic. Ukr Math J 70, 990–1000 (2018). https://doi.org/10.1007/s11253-018-1546-4

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11253-018-1546-4

Search

Navigation