Pure denumerable Łukasiewiczian implication

1 December 1966

journal article
Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic

Vol. 31 (4) , 575-580
https://doi.org/10.2307/2269693

Abstract

In [1], McCall and I offered an axiomatization of the implicational fragment of the 3-valued Łukasiewiczian system defined in [2]. The following axiom schemata sufficed, together with the rule of modus ponens.¹

Keywords

DENUMERABLE ŁUKASIEWICZIAN
ŁUKASIEWICZIAN IMPLICATION
PURE DENUMERABLE
AXIOM SCHEMATA
IMPLICATIONAL FRAGMENT
SCHEMATA SUFFICED
MODUS PONENS.1
VALUED ŁUKASIEWICZIAN

This publication has 5 references indexed in Scilit:

Pure three-valued Łukasiewiczian implication
The Journal of Symbolic Logic, 1966
Independent Axioms for Infinite-Valued Logic
The Journal of Symbolic Logic, 1963
Fragments of many-valued statement calculi
Transactions of the American Mathematical Society, 1958
Proof of an axiom of Łukasiewicz
Transactions of the American Mathematical Society, 1958
The dependence of an axiom of Łukasiewicz
Transactions of the American Mathematical Society, 1958