Expressive power and incompleteness of propositional logics
type: Item
instance of: scholarly article
title: Expressive power and incompleteness of propositional logics
zbMATH Open document ID: 1193.03017
author: James W. Garson
published in: Journal of Philosophical Logic
publication date: 2010-04-26T00:00:00Z
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5701559
zbMATH Keywords: propositional logic
zbMATH Keywords: natural deduction
zbMATH Keywords: incompleteness
zbMATH Keywords: modal logic
zbMATH Keywords: intuitionistic logic
describes a project that uses: PLINK
MaRDI profile type: Publication
full work available at URL: s10992-009-9120-z
OpenAlex ID: W1974165794
cites work: Semantic holism
cites work: Modal logic
cites work: Q4397069
cites work: Q5839916
cites work: What is Logic?
cites work: Q4081211
cites work: Q4159022
DOI: 10.1007/S10992-009-9120-Z
Recommended article: Q4198476
Recommended article: Expressiveness and the completeness of Hoare's logic
Recommended article: Q3328520
Recommended article: Expressive power and semantic completeness: Boolean connectives in modal logic
Recommended article: Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
Recommended article: Expressive power and complexity in algebraic logic
Recommended article: Completeness theory for propositional logics
Recommended article: Expressive power of infinitary [0, 1]-valued logics
Recommended article: Q4023306
Recommended article: Expressibility of Higher Order Logics
description: scientific article; zbMATH DE number 5701559