Positive logic and \(\lambda\)-constants

DOI10.1007/BF02124728zbMath0393.03008MaRDI QIDQ1252340

David Meredith

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Lambda CalculusCombinatory LogicDecision ProcedurePositive Logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Related Items

On principal types of combinators ⋮ Deduction theorems for weak implicational logics

Cites Work

• Combinatory logic. With two sections by William Craig.
• Axiomatics for implication
• On Meredith's sole positive axiom
• Notes on the axiomatics of the propositional calculus
• The Calculi of Lambda Conversion. (AM-6)
• Combinatory and propositional logic
• Unnamed Item