Positive logic and \(\lambda\)-constants
type: Item
instance of: scholarly article
title: Positive logic and \(\lambda\)-constants
zbMATH Open document ID: 0393.03008
DOI: 10.1007/BF02124728
author: David Meredith
published in: Studia Logica
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3609631
zbMATH Keywords: Combinatory Logic
zbMATH Keywords: Positive Logic
zbMATH Keywords: Lambda Calculus
zbMATH Keywords: Decision Procedure
MaRDI profile type: Publication
cites work: The Calculi of Lambda Conversion. (AM-6)
cites work: Combinatory logic. With two sections by William Craig.
cites work: Q5822052
cites work: Notes on the axiomatics of the propositional calculus
cites work: Combinatory and propositional logic
cites work: Axiomatics for implication
cites work: On Meredith's sole positive axiom
description: scientific article; zbMATH DE number 3609631