scientific article; zbMATH DE number 7576845
From MaRDI portal
Publication:5099996
Alex Belikov, Dmitry Zaitsev, Oleg Grigor'ev
Publication date: 26 August 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
negationembedding resultsGentzen-style calculiconflationgeneralized truth valuesHilbert-style calculiconnegation
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication:
