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

Full work available at URL https://doi.org/10.2478/FORMA-2025-0005

zbMATH Keywords

language extensionnon-Fregean logicPolish notation

Mathematics Subject Classification ID

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

Cites work

• An investigation into intuitionistic logic with identity
• Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity
• Deciding non-Fregean identities: a dual tableau approach
• Fundamentals of finitary proofs
• scientific article; zbMATH DE number 3482305 (Why is no real title available?)
• Non-Fregean logics of analytic equivalence. II
• Non-Fregean world of logics
• Paraconsistency in non-Fregean framework
• Polish notation

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)