Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics

Bulletin of the Section of Logic 9 (4):170-174 (1980)
  Copy   BIBTEX

Abstract

It is obvious that the equivalential fragment of the innite-valued logic of Lukasiewicz is contained in the equivalential fragment of the clas- sical propositional logic. From the results of Kanzinski [2] it is follows that L$ 1 is also contained in the equivalential fragment of the intermediate logic LC3 determined by the pseudo-Boolean algebra of the three-element chain. In this paper we shall prove the following

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics.Stanis law Surma - 1980 - Bulletin of the Section of Logic 9 (4):170-174.
On equivalential fragment of the three-valued logic of Lukasiewicz.Jacek Kabzinski - 1979 - Bulletin of the Section of Logic 8 (4):182-185.
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.Jacek K. Kabziński - 1984 - Notre Dame Journal of Formal Logic 25 (4):354-356.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
Algebraic semantics for the (↔,¬¬)‐fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
Algebraic semantics for the ‐fragment of and its properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
On equivalential fragment of the implicative extensional consequence.Jacek K. Kabzinski - 1981 - Bulletin of the Section of Logic 10 (3):135-138.
Equivalential Algebras with Conjunction on Dense Elements.Sławomir Przybyło & Katarzyna Słomczyńska - 2022 - Bulletin of the Section of Logic 51 (4):535-554.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references