Nissim Francez

About Nissim Francez

Nissim Francez, With an exceptional h-index of 39 and a recent h-index of 14 (since 2020), a distinguished researcher at Technion - Israel Institute of Technology, specializes in the field of Proof-theoretic semantics, formal semantics for natural language.

His recent articles reflect a diverse array of research interests and contributions to the field:

Phrasal Coordination Relatedness Logic

Truth-value constants in multi-valued logics

Bilateral Connexive Logic

A dialectic contra-classical logic

Poly-connexivity: connexive conjunction and disjunction

Proof-theoretic semantics as a resource for expressing semantic variability

A Glimpse into Higher-Order Connexive Logics

A generalization of falsity in finitely-many valued logics

Nissim Francez Information

University

Position

Computer Science Dept.

Citations(all)

6727

Citations(since 2020)

830

Cited By

6073

hIndex(all)

39

hIndex(since 2020)

14

i10Index(all)

90

i10Index(since 2020)

17

Email

University Profile Page

Technion - Israel Institute of Technology

Google Scholar

View Google Scholar Profile

Nissim Francez Skills & Research Interests

Proof-theoretic semantics

formal semantics for natural language

Top articles of Nissim Francez

Title

Journal

Author(s)

Publication Date

Phrasal Coordination Relatedness Logic

Logic and Logical Philosophy

Nissim Francez

2024/3/16

Truth-value constants in multi-valued logics

Nissim Francez

Michael Kaminski

2024/2/13

Bilateral Connexive Logic

Logics

Nissim Francez

2023/8/4

A dialectic contra-classical logic

Logica Universalis

Nissim Francez

2023/6

Poly-connexivity: connexive conjunction and disjunction

Notre Dame Journal of Formal Logic

Nissim Francez

2022/8

Proof-theoretic semantics as a resource for expressing semantic variability

Synthese

Nissim Francez

2022/7/11

A Glimpse into Higher-Order Connexive Logics

Logique et Analyse

Nissim Francez

2022/3/31

A generalization of falsity in finitely-many valued logics

arXiv preprint arXiv:2203.16890

Nissim Francez

2022/3/31

Calculi for many-valued logics

Logica Universalis

Michael Kaminski

Nissim Francez

2021/6

On the Role of Aristotle's Connexive Axioms in Non-connexive Logics.

FLAP

Nissim Francez

2021/4

Bilateralism based on Corrective Denial.

FLAP

Nissim Francez

2021/3

Proof-theoretic semantics for natural language

Topoi

Nissim Francez

2021/2

Towards a generalization of the logic of grounding

Theoria: An International Journal for Theory, History and Foundations of Science

Francesca Poggiolesi

Nissim Francez

2021/1/1

Logical Grounding: The Case of “if‐then‐else”

Theoria

Nissim Francez

2021/10

De Morgan interpretation of the lambek–grishin calculus

The Review of Symbolic Logic

Michael Kaminski

Nissim Francez

2020/12

Connexive Restricted Quantification

Nissim Francez

2020/9/1

Does a classical truth logically ground its double negation?

Australasian Journal of Logic

Nissim Francez

2020

A poly-connexive logic

Logic and Logical Philosophy

Nissim Francez

2020

See List of Professors in Nissim Francez University(Technion - Israel Institute of Technology)

Co-Authors

H-index: 102
Edmund Clarke

Edmund Clarke

Carnegie Mellon University

H-index: 52
Orna Grumberg

Orna Grumberg

Technion - Israel Institute of Technology

H-index: 38
Daniel Lehmann

Daniel Lehmann

Hebrew University of Jerusalem

H-index: 32
Johann (Janos) A. Makowsky

Johann (Janos) A. Makowsky

Technion - Israel Institute of Technology

H-index: 32
Shuly Wintner

Shuly Wintner

University of Haifa

H-index: 26
Liuba Shrira

Liuba Shrira

Brandeis University

academic-engine