An intuitionistic logic for preference relations

DOI10.1093/JIGPAL/JZZ013zbMath1477.03025OpenAlexW2946085080WikidataQ128043112 ScholiaQ128043112MaRDI QIDQ5014047

Paolo Maffezioli, Alberto Naibo

Publication date: 3 December 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzz013

zbMATH Keywords

completenessfirst-order logicacyclicitytransitivitypreference relationsintuitionism

Mathematics Subject Classification ID

Individual preferences (91B08) Other constructive mathematics (03F65) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: An intuitionistic logic for preference relations