Presheaf semantics and independence results for some non-classical first-order logics

Publisher Website

1 June 1989

journal article
Published by Springer Nature in Archive for Mathematical Logic

Vol. 29 (2) , 125-136
https://doi.org/10.1007/bf01620621

Abstract

No abstract available

Keywords

FIRST ORDER LOGIC

This publication has 1 reference indexed in Scilit:

Directed frames
Archive for Mathematical Logic, 1989