A Mystery of Grzegorczyk’s Logic of Descriptions

DOI10.1007/978-3-319-65430-0_51OpenAlexW2807850561MaRDI QIDQ4611704

Joanna Golińska-Pilarek, Taneli Huuskonen

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_51

zbMATH Keywords

descriptive equivalenceequimeaninglogical connectivesGrzegorczyk's logic of descriptionsparadoxes of classical logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) History of mathematical logic and foundations (03-03)

Related Items (1)

Tableau-based decision procedure for non-Fregean logic of sentential identity

Cites Work

• On the minimal non-Fregean Grzegorczyk logic
• Applications of formal philosophy. The road less travelled
• Semantics for the sentential calculus with identity
• Unnamed Item
• Unnamed Item

This page was built for publication: A Mystery of Grzegorczyk’s Logic of Descriptions