scientific article; zbMATH DE number 1018725

MaRDI QIDQ4339467zbMATH OpenFDO

Authors Grzegorz Bryll, Robert Sochacki

Publication date 7 July 1997

zbMATH Keywords

finite-valued Łukasiewicz propositional calculusŁ-decidable

Mathematics Subject Classification ID

Many-valued logic (03B50) Decidability of theories and sets of sentences (03B25)

Recommendations

• Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz
• The method of axiomatic rejection for the intuitionistic propositional logic
• The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi
• An axiomatization of the finite-valued Łukasiewicz calculus
• Labelled Calculi for Łukasiewicz Logics

Cited in

(8)

• scientific article; zbMATH DE number 1163928 (Why is no real title available?)
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• scientific article; zbMATH DE number 3887649 (Why is no real title available?)
• scientific article; zbMATH DE number 169734 (Why is no real title available?)
• Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz
• The method of axiomatic rejection for the intuitionistic propositional logic
• The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi
• scientific article; zbMATH DE number 1471985 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4339467)