Lewis meets Brouwer: constructive strict implication

From MaRDI portal
Publication:1688950

DOI10.1016/j.indag.2017.10.003zbMath1436.03137arXiv1708.02143OpenAlexW3101546648MaRDI QIDQ1688950

Tadeusz Litak, Albert Visser

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1708.02143




Related Items (4)


Uses Software


Cites Work


This page was built for publication: Lewis meets Brouwer: constructive strict implication