Singulary extensional connectives: A closer look
type: Item
instance of: scholarly article
title: Singulary extensional connectives: A closer look
zbMATH Open document ID: 0874.03010
DOI: 10.1023/A:1004240612163
author: I. L. Humberstone
published in: Journal of Philosophical Logic
publication date: 1997-08-05T00:00:00Z
Mathematics Subject Classification ID: 03B22
zbMATH DE Number: 1044156
zbMATH Keywords: generalized consequence relations
zbMATH Keywords: extensional 1-ary connectives
zbMATH Keywords: sequents
zbMATH Keywords: lattice
zbMATH Keywords: Hasse diagram
zbMATH Keywords: matrix methods
MaRDI profile type: Publication
cites work: Equivalential logics. I
cites work: Extensionality in sentence position
cites work: The lattice of extensional connectives: A correction
cites work: Negation by iteration
cites work: Galois Connexions
cites work: 2-element matrices
cites work: Q3760525
cites work: A calculus for the common rules of \(\wedge\) and \(\vee\)
cites work: Axiomatization of semigroup consequences
cites work: Q4079581
cites work: Q4068699
cites work: Q4159022
cites work: Theory of logical calculi. Basic theory of consequence operations
description: scientific article; zbMATH DE number 1044156