Back to Results
First PageMeta Content
Paraconsistent logic / Intuitionism / Intuitionistic logic / Classical logic / Many-valued logic / Fuzzy logic / Proof theory / Modal logic / Truth value / Logic / Mathematical logic / Non-classical logic


Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or
Add to Reading List

Open Document

File Size: 47,13 KB

Share Result on Facebook

City

Prague / Parkville / Hejnice / Estoril / Guangzhou / /

Company

Oxford University Press / /

Country

Australia / Portugal / China / Czech Republic / /

/

Facility

LIBOR BEHOUNEK Institute of Computer Science / The University of Melbourne / /

IndustryTerm

latter systems / logical systems / higher-order systems / /

Organization

University of Melbourne / World Congress / LIBOR BEHOUNEK Institute of Computer Science / GREG RESTALL School of Philosophy / Anthropology and Social Inquiry / Academy of Sciences of the Czech Republic / Oxford University / /

Person

Peter Schuster / Erik Palmgren / Laura Crosilla / Paola Toto / Iris Loeb / Francesco Ciraulo / Maria Emilia Maietti / Graham Priest / Bob Meyer / Douglas Bridges / Dov Gabbay / Peter Verd´ee / GIOVANNI SAMBIN / /

/

Position

Author / editor / /

PublishedMedium

the Logic Journal / /

URL

http /

SocialTag