On a Method of Axiomatization of Some Propositional Calculi

DOI10.1002/MALQ.19870330108zbMath0591.03014OpenAlexW2091278479MaRDI QIDQ3718688

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 axiomatizationintermediate logicsmodal logics containing S4finite valued Łukasiewicz logicspropositional logics determined by finite matrices

Mathematics Subject Classification ID

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

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