Intuitionistic Logic and Local Mathematical Theories

DOI10.1002/malq.19770232704zbMath0439.03047OpenAlexW2166683552MaRDI QIDQ3880845

Yvon Gauthier

Publication date: 1977

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19770232704

zbMATH Keywords

toposintuitionistic logiclocal knowledgetopological interpretations

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (2)

Penalty calculations and branching rules in a LAV best subset procedure ⋮ A theory of local negation: The model and some applications

This page was built for publication: Intuitionistic Logic and Local Mathematical Theories