On structural completeness of Lukasiewicz's logics

DOI10.1007/BF02120827zbMath0288.02015OpenAlexW2063697799MaRDI QIDQ1846414

Marek Tokarz

Publication date: 1972

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02120827

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Categoricity and completeness of theories (03C35)

Related Items

Matrix approach in methodology of sentential calculi, On structural completeness of many-valued logics

Cites Work

• Unnamed Item
• The problem of reconstructability of propositional calculi
• A theorem about infinite-valued sentential logic
• The Degree of Completeness of the M -Valued Łukasiewicz Propositional Calculus