scientific article; zbMATH DE number 4204312
From MaRDI portal
Publication:3352995
zbMATH Open0729.03007MaRDI QIDQ3352995FDOQ3352995
Authors: Martin W. Bunder 
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3889528
- Algebras of logic as BCK algebras
- scientific article; zbMATH DE number 3916223
- scientific article; zbMATH DE number 1526148
- scientific article; zbMATH DE number 3918331
- Correction and improvement on several results in quantitative logic
- scientific article; zbMATH DE number 3904588
- Publication:4890395
- scientific article; zbMATH DE number 554983
- scientific article; zbMATH DE number 465608
Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)
Cited In (14)
- Title not available (Why is that?)
- Glivenko like theorems in natural expansions of BCK-logic
- Title not available (Why is that?)
- BCK-combinators and linear \(\lambda\)-terms have types
- Principal types of BCK-lambda-terms
- A new proof for Craig's theorem
- Title not available (Why is that?)
- Correction to: ``\(Log_A \mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Corrigendum and addendum to: ``\(L\)-algebras and three main non-classical logics
- Title not available (Why is that?)
- On a property of BCK-identities
- Title not available (Why is that?)
- BCK and BCI logics, condensed detachment and the 2-property
- On Principal Types of BCK-λ-Terms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3352995)
