Naïve comprehension and contracting implications
type: Item
instance of: scholarly article
title: Naïve comprehension and contracting implications
zbMATH Open document ID: 1003.03026
DOI: 10.1023/A:1016391109231
author: Susan Rogerson
author: Sam Butchart
published in: Studia Logica
publication date: 2002-08-21T00:00:00Z
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 1785611
zbMATH Keywords: nonclassical logic
zbMATH Keywords: naïve comprehension
zbMATH Keywords: contraction
zbMATH Keywords: Restall's conjecture
zbMATH Keywords: purely implicational logics
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1785611