Expressive power and incompleteness of propositional logics

DOI10.1007/S10992-009-9120-ZMaRDI QIDQ965859zbMATH OpenOpenAlexFDO

Authors 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

incompletenessintuitionistic logicmodal logicnatural deductionpropositional logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3639591
• Expressiveness and the completeness of Hoare's logic
• scientific article; zbMATH DE number 3859091
• Expressive power and semantic completeness: Boolean connectives in modal logic
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Expressive power and complexity in algebraic logic
• Completeness theory for propositional logics
• Expressive power of infinitary \([0,1]\)-logics
• scientific article; zbMATH DE number 107724
• Expressibility of higher order logics

Cites work

• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Modal logic
• Semantic holism
• What is Logic?

Cited in

(10)

• Some questions about expressiveness and relative completeness in Hoare's logic
• Speech acts, categoricity, and the meanings of logical connectives
• Are the open-ended rules for negation categorical?
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• scientific article; zbMATH DE number 1303443 (Why is no real title available?)
• scientific article; zbMATH DE number 6851910 (Why is no real title available?)
• scientific article; zbMATH DE number 3895056 (Why is no real title available?)
• Normativity in logic
• Carnap's (categoricity) problem
• Truth table logic, with a survey of embeddability results

Describes a project that uses

Uses Software

• PLINK

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q965859)