Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
From MaRDI portal
Publication:4779636
DOI10.2307/3062206zbMath1020.03024OpenAlexW4248974030MaRDI QIDQ4779636
Publication date: 16 December 2002
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0803-toc.htm
independence friendly logicgame-theoretical semanticsbranching quantifierslogical notationdependence of quantifierssemantics of quantifiers
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
From IF to BI. A tale of dependence and separation ⋮ Dependence of variables construed as an atomic formula ⋮ Grelling on Dependence