Translations and structure for partial propositional calculi
type: Item
instance of: scholarly article
title: Translations and structure for partial propositional calculi
zbMATH Open document ID: 0293.02008
DOI: 10.1007/BF02120865
author: E. William jun. Chapin
published in: Studia Logica
publication date: 1974-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 3458580
MaRDI profile type: Publication
cites work: Q3235339
cites work: Q3247126
cites work: Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability
cites work: Note on truth-tables
cites work: A test for the existence of tautologies according to many-valued truth-tables
cites work: A test for the equality of truth-tables
cites work: An undecidable problem in the algebra of truth-tables
cites work: Models of logical systems
cites work: Q5812175
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Über Unabhängigkeitsbeweise im Aussagenkalkül
cites work: A complex of problems proposed by Post
cites work: A note on finite axiomatization of partial propositional calculi
cites work: Q5810546
cites work: Arithmetic Translations of Axiom Systems
cites work: Remarks on the Comparison of Axiom Systems
cites work: A detailed argument for the Post-Linial theorems
cites work: Gentzen-like systems for partial propositional calculi. I. II
full work available at URL: https://doi.org/10.1007/bf02120865
OpenAlex ID: W2078574844
description: scientific article; zbMATH DE number 3458580