The Relevance Graph of a BCK-Formula
type: Item
instance of: scholarly article
title: The Relevance Graph of a BCK-Formula
zbMATH Open document ID: 0790.03013
author: Sachio Hirokawa
publication date: 1994-06-22T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 488294
zbMATH Keywords: typed lambda calculus
zbMATH Keywords: condensed detachment
zbMATH Keywords: condensed BCK-logic
zbMATH Keywords: principal type schemes of BCK-\(\lambda\)-terms
zbMATH Keywords: relevance graph
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/logcom/3.3.269
OpenAlex ID: W2040310180
DOI: 10.1093/LOGCOM/3.3.269
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 488294