On a Method of Axiomatization of Some Propositional Calculi

DOI10.1002/MALQ.19870330108MaRDI QIDQ3718688zbMATH OpenOpenAlexFDO

Authors Zdzisław Dywan

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19870330108

zbMATH Keywords

finite axiomatizationfinite valued Łukasiewicz logicsintermediate logicsmodal logics containing S4propositional logics determined by finite matrices

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Intermediate logics (03B55) General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 4010498
• Remark on a finite axiomatization of finite intermediate propositional logics
• An axiomatization of the finite-valued Łukasiewicz calculus
• scientific article; zbMATH DE number 3877155
• scientific article; zbMATH DE number 3873298

Cited in

(19)

• An axiomatization of the finite-valued Łukasiewicz calculus
• On finite-valued propositional logical calculi
• scientific article; zbMATH DE number 4016868 (Why is no real title available?)
• Sequent systems axiomatizing simple paralogics
• scientific article; zbMATH DE number 3853041 (Why is no real title available?)
• scientific article; zbMATH DE number 3877155 (Why is no real title available?)
• A Couple of Novelties in the Propositional Calculus
• scientific article; zbMATH DE number 4010498 (Why is no real title available?)
• scientific article; zbMATH DE number 4041882 (Why is no real title available?)
• A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 169731 (Why is no real title available?)
• scientific article; zbMATH DE number 549806 (Why is no real title available?)
• Remark on a finite axiomatization of finite intermediate propositional logics
• On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
• The axiomatization of propositional logic
• Some problems concerning axiom systems for finitely many-valued propositional logics
• On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
• Axiomatizing the skew Boolean propositional calculus

This page was built for publication: On a Method of Axiomatization of Some Propositional Calculi

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