Results 111 to 120 of about 19,372 (208)

Inquisitive Intuitionistic Logic

open access: yes, 2020
Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the ...
openaire   +1 more source

Intuitionistic logic in intuitionistic metamathematics

open access: yes, 1976
Contains fulltext : mmubn000001_194061965.pdf (Publisher’s version ) (Open Access)
openaire   +1 more source

Home - About - Disclaimer - Privacy