Relational and partial variable sets and basic predicate logic
From MaRDI portal
Publication:5687319
DOI10.2307/2275788zbMath0860.03043OpenAlexW2118097562MaRDI QIDQ5687319
Silvio Ghilardi, Giancarlo Meloni
Publication date: 24 April 1997
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275788
presheafFrobenius conditiondoctrineBeck conditionfirst-order intuitionistic and co-intuitionistic logicrelational variable sets
Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items