Results 181 to 190 of about 5,025 (226)

Connexive Exclusion. [PDF]

open access: yesErkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source

On Logical and Scientific Strength. [PDF]

open access: yesErkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

A note on dual‐intuitionistic logic

Mathematical Logic Quarterly, 2003
AbstractDual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N−.
Norihiro Kamide
openaire   +4 more sources

Home - About - Disclaimer - Privacy