scientific article

zbMath0539.03002MaRDI QIDQ3325691

Witold A. Pogorzelski, Piotr Wojtylak

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessmany-valued logicintuitionistic logicclassical propositional logicmodal logicsstructural completenesspropositional calculiLewis modal calculus S5Lindenbaum extensionsSemantical methods in propositional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Many-valued logic (03B50) Intermediate logics (03B55)

Related Items

An axiomatization of the finite-valued Łukasiewicz calculus ⋮ On structural completeness of implicational logics ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Definitional equivalence and algebraizability of generalized logical systems