26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019).

Subjects

Subjects :

COMPUTER logic
LOGIC
MATHEMATICAL logic
KRIPKE semantics
INTUITIONISTIC mathematics

Details

Language :

English

ISSN :

13670751

Volume :

29

Issue :

3

Database :

Complementary Index

Journal :

Logic Journal of the IGPL

Publication Type :

Academic Journal

Accession number :

150594544

Full Text :

https://doi.org/10.1093/jigpal/jzaa004