On structural completeness of Lukasiewicz's logics
From MaRDI portal
Publication:1846414
DOI10.1007/BF02120827zbMath0288.02015MaRDI QIDQ1846414
Publication date: 1972
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02120827
03B05: Classical propositional logic
03B50: Many-valued logic
03C35: Categoricity and completeness of theories
Related Items
Matrix approach in methodology of sentential calculi, On structural completeness of many-valued logics
Cites Work