On Blass translation for Le\'sniewski's propositional ontology and modal logics
From MaRDI portal
Publication:6343881
DOI10.1007/S11225-021-09962-1zbMath1507.03079arXiv2006.15421MaRDI QIDQ6343881
Publication date: 27 June 2020
Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
This page was built for publication: On Blass translation for Le\'sniewski's propositional ontology and modal logics