Polish notation

DOI10.1515/forma-2015-0014zbMath1321.03053OpenAlexW4237554050MaRDI QIDQ500020

Taneli Huuskonen

Publication date: 7 October 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0014

zbMATH Keywords

syntaxPolish notationwell-formed formula

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Grzegorczyk's logics. I

Cites Work

• Unnamed Item
• Non-Fregean propositional logic with quantifiers
• Number of extensions of non-Fregean logics
• Semantics of MML Query - Ordering

This page was built for publication: Polish notation