Extensions of languages in Polish notation

DOI10.2478/FORMA-2025-0005MaRDI QIDQ6840591zbMATH OpenFDO

Authors Taneli Huuskonen

Publication date 23 March 2026

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

zbMATH Keywords

non-Fregean logicPolish notationlanguage extension

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Combinatorics on words (68R15) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Extensions of languages in Polish notation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6840591)