Аналитические таблицы для интуиционистского аналога FDE

DOI10.21146/2074-1472-2018-24-2-116-122zbMath1431.03036OpenAlexW2913751580MaRDI QIDQ3119286

Yaroslav I. Petrukhin

Publication date: 11 March 2019

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2018-24-2-116-122

zbMATH Keywords

relevant logicintuitionistic logicfirst degree entailmentanalytic tableauxgeneralized state of descriptionrevelant entailment

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Аналитические таблицы для интуиционистского аналога FDE