A Method Of The Constructions Of Lukasiewiczian Algebras And Its Application To Gentzen-style Characterization Of Lukasiewiczian Logics

Bulletin of the Section of Logic 2 (2):139-143 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

On Lukasiewiczian logics with several designated values.Michael Byrd - 1979 - Logique Et Analyse 22 (88):489.
On weakening the Deduction Theorem and strengthening of Modus Ponens.F. Bou, J. M. Font & J. L. G. Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303.
Some remarks on wmv-algebras.Kazimiera Dyrda - 1983 - Bulletin of the Section of Logic 12 (2):55-61.
On weakening the Deduction Theorem and strengthening Modus Ponens.Félix Bou, Josep Maria Font & José Luis García Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303-324.
A Relational Formalisation Of Arbitrary Finite Valued Logics.B. Konikowska, C. Morgan & E. Orlowska - 1998 - Logic Journal of the IGPL 6 (5):755-774.
Review: R. K. Meyer, Pure Denumerable Lukasiewiczian Implication. [REVIEW]A. Rose - 1968 - Journal of Symbolic Logic 33 (2):308-308.
Generalized complex algebras and regular identities.Pawel Idziak - 1985 - Bulletin of the Section of Logic 14 (1):84-88.
Tableaux variants of some modal and relevant systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication. [REVIEW]Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculus.Wojciech Suchon - 1984 - Bulletin of the Section of Logic 13 (4):226-228.
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Gentzen-style Calculi For Quasi-identities Of Finite Algebras.Andrzej Wronski - 1994 - Reports on Mathematical Logic:73-79.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.

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