Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at Ben-Gurion University Research Portal
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Projects
Activities
Datasets
Research Labs
The middle ground-ancestral logic
Liron Cohen
, Arnon Avron
Research output
:
Contribution to journal
›
Article
›
peer-review
10
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The middle ground-ancestral logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Ancestral Logic
100%
First-order Logic
75%
Transitive Closure
50%
Second-order Logic
50%
Attractive Alternatives
25%
Models Theoretical
25%
Reflexive
25%
Proof Theory
25%
Closure Operator
25%
Theoretical Properties
25%
Gentzen
25%
Consistency Proof
25%
Reflexible
25%
Cut Elimination
25%
Formal System
25%
Mathematical Reasoning
25%
Translation Algorithm
25%
Proof Systems
25%
Computer Science
Transitive Closure
100%
Second-Order Logic
100%
Proof
100%
Proof System
50%
Mathematical Reasoning
50%
Consistency Proof
50%