Non-Fregean propositional logic with quantifiers

DOI10.1215/00294527-3470547zbMath1396.03070OpenAlexW2324313918MaRDI QIDQ286706

Taneli Huuskonen, Joanna Golińska-Pilarek

Publication date: 25 May 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1455030205

zbMATH Keywords

non-Fregean logicidentity connectivesentential calculus with identitysituational semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Related Items (4)

A modal loosely guarded fragment of second-order propositional modal logic ⋮ Polish notation ⋮ Grzegorczyk's logics. I ⋮ Tableau-based decision procedure for non-Fregean logic of sentential identity

Cites Work

• Unnamed Item
• Unnamed Item
• Quasi-completeness in non-Fregean logic
• Number of extensions of non-Fregean logics
• Investigations into the sentential calculus with identity
• A completeness theorem for theories of kind W
• Identity connective and modality
• Number of non-Fregean sentential logics that have adequate models

This page was built for publication: Non-Fregean propositional logic with quantifiers