Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Home
Researchers
Organisations
Research output
Prizes
Student theses
Courses
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
What is negation in a system 2020?
Dov Gabbay
University of Luxembourg
King's College London
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'What is negation in a system 2020?'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Connectives
100%
Logical Systems
40%
Unary
40%
David Hilbert
20%
Robinson Crusoe
20%
Formal System
20%
Mathematics
Logical System
100%
Unary Connective
100%