Intuitionistic ancestral logic
From MaRDI portal
Publication:5225851
DOI10.1093/logcom/exv073zbMath1444.03103OpenAlexW2532951581MaRDI QIDQ5225851
Liron Cohen, Robert L. Constable
Publication date: 29 July 2019
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/15e8f663572c2f1b758ecab466a8cde00611b16f
Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: Intuitionistic ancestral logic
