Commuting conversions vs. the standard conversions of the ``good'' connectives
type: Item
instance of: scholarly article
title: Commuting conversions vs. the standard conversions of the ``good'' connectives
zbMATH Open document ID: 1185.03081
author: Fernando Ferreira
author: Gilda Ferreira
published in: Studia Logica
publication date: 2009-11-16T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F07
zbMATH DE Number: 5633552
zbMATH Keywords: natural deduction
zbMATH Keywords: commuting conversions
zbMATH Keywords: predicative quantifiers
MaRDI profile type: Publication
full work available at URL: s11225-009-9186-1
OpenAlex ID: W2115775190
cites work: Comments on predicative logic
cites work: Q3994895
cites work: Q4716271
DOI: 10.1007/S11225-009-9186-1
description: scientific article; zbMATH DE number 5633552