Selected Papers on Łukasiewicz Sentential Calculi |
Contents
PREFACE | 7 |
Robin Giles A nonclassical logic for physics 13 333 | 53 |
Revaz Grigolia Algebraic analysis of LukasiewiczTarskis nvalued logical systems | 81 |
6 other sections not shown
Other editions - View all
Common terms and phrases
a₁ algebra arbitrary assert assume assumption axiomatization axioms C₁ called classical logic Cnm Sb concludes the proof congruence relation consequence operation consider constructed d-structural deduction theorems defined DEFINITION degree of completeness degree of maximality denote dispersion-free distributive lattice document easily seen elementary experiment elements endomorphism equivalent example exists filter F final position following conditions formula function given hence implies infinite-valued interpretation lattice Lemma Łukasiewicz calculi Łukasiewicz logics many-valued logics Mathematical matrix McNaughton modus ponens Moisil MV-algebra n-valued natural number notion Observe obtain P₁ paper physical language physical theory prime proposition prime valuation propositional calculus prove quantum risk value rule of inference satisfied saturated set sentential calculi sentential logic sequence strongly finite structural consequence Studia Logica substitution Suppose symbols Tarski Taut tautology three-valued Tokarz trial true unary operation valid valuation h valued logic WÓJCICKI