A binary quantifier for definite descriptions in Nelsonian free logic

DOI10.4204/EPTCS.415.5MaRDI QIDQ6934044zbMATH OpenFDO

Authors Yaroslav I. Petrukhin

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A binary quantifier for definite descriptions in Nelsonian free logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934044)