Results 171 to 180 of about 722,619 (215)

Questions and Dependency in Intuitionistic Logic [PDF]

open access: yesNotre Dame Journal of Formal Logic, 2020
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core.
Ivano Alessandro Ciardelli   +2 more
exaly   +16 more sources

Semi-Intuitionistic Logic

open access: yesStudia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan Manuel Cornejo
exaly   +5 more sources

Home - About - Disclaimer - Privacy