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
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
On Kreisel's notion of validity in post systems
Dov M. Gabbay
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On Kreisel's notion of validity in post systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Kreisel
100%
Post Systems
100%
Heyting
100%
Predicate Calculus
66%
Background Material
33%
Propositional Calculus
33%
Kripke
33%
Arts and Humanities
propositional
100%