scientific article; zbMATH DE number 4204312
From MaRDI portal
Publication:3352995
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
Cited in
(16)- On Principal Types of BCK-λ-Terms
- scientific article; zbMATH DE number 3904588 (Why is no real title available?)
- Glivenko like theorems in natural expansions of BCK-logic
- scientific article; zbMATH DE number 3916223 (Why is no real title available?)
- BCK-combinators and linear \(\lambda\)-terms have types
- Principal types of BCK-lambda-terms
- A new proof for Craig's theorem
- scientific article; zbMATH DE number 2099386 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 3889528 (Why is no real title available?)
- Lattice BCK logics with modus ponens as unique rule
- On a property of BCK-identities
- scientific article; zbMATH DE number 5308967 (Why is no real title available?)
- BCK is not structurally complete
- BCK and BCI logics, condensed detachment and the 2-property
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)
