Grzegorczyk's logics. I

DOI10.1515/forma-2015-0015zbMath1321.03044OpenAlexW2293442190MaRDI QIDQ500021

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-0015

zbMATH Keywords

non-Fregean logicequimeaning connectivelogic of descriptionsnon-classical propositional logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Non-Fregean propositional logic with quantifiers
• Polish notation
• Number of extensions of non-Fregean logics
• Semantics for the sentential calculus with identity

This page was built for publication: Grzegorczyk's logics. I