An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz

Notre Dame Journal of Formal Logic 25 (4):354-356 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870687

Links

PhilArchive



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

External links

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

A note on the axiomatization of equational classes of $n$-valued Ł ukasiewicz algebras.M. E. Adams & R. Cignoli - 1990 - Notre Dame Journal of Formal Logic 31 (2):304-307.
Further axiomatizations of the Ł ukasiewicz three-valued calculus.Federico M. Sioson - 1964 - Notre Dame Journal of Formal Logic 5 (1):62-70.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Extensions of the $\aleph_0$-valued Ł ukasiewicz propositional logic.M. G. Beavers - 1993 - Notre Dame Journal of Formal Logic 34 (2):251-262.
A standard form for Ł ukasiewicz many-valued logics.Robert E. Clay - 1963 - Notre Dame Journal of Formal Logic 4 (1):59-66.
Approximate truth and Ł ukasiewicz logic.T. S. Weston - 1988 - Notre Dame Journal of Formal Logic 29 (2):229-234.
A formal interpretation of Ł ukasiewicz' logics.Michael Byrd - 1979 - Notre Dame Journal of Formal Logic 20 (2):366-368.
A proof of a theorem of Ł ukasiewicz.Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (4):507-508.
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics.Piotr Krzystek - 1980 - Bulletin of the Section of Logic 9 (4):170-174.
Every functionally complete $m$-valued logic has a Post-complete axiomatization.Nuel D. Belnap & Storrs McCall - 1970 - Notre Dame Journal of Formal Logic 11 (1):106-106.

Analytics

Added to PP
2010-08-24

Downloads
2 (#1,450,151)

6 months
17 (#859,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.

Add more citations

References found in this work

No references found.

Add more references