Expressive power and incompleteness of propositional logics

DOI10.1007/s10992-009-9120-zzbMath1193.03017OpenAlexW1974165794MaRDI QIDQ965859

James W. Garson

Publication date: 26 April 2010

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-009-9120-z

zbMATH Keywords

modal logicpropositional logicnatural deductionintuitionistic logicincompleteness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Speech acts, categoricity, and the meanings of logical connectives

Uses Software

• PLINK

Cites Work

• Semantic holism
• What is Logic?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expressive power and incompleteness of propositional logics