Kripke-like models of Set Theory in Modal Residuated Logic

arXiv2405.04641MaRDI QIDQ6533749FDOQ6533749

Jose Moncayo, Pedro Zambrano

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical and second-order set theories (03E70) Quantales (06F07)

This page was built for publication: Kripke-like models of Set Theory in Modal Residuated Logic

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