Nissim Francez
Biographic Data
| ID | 5996375 |
|---|---|
| NAME | Nissim Francez |
| GIVEN NAMES | Nissim |
| FAMILY NAME | Francez |
| SIGNATURE | FRANCEZ N |
| AFFILIATIONS | Technion – Israel Institute of Technology |
| ORCID | 0000-0002-6993-4392 |
| VERIFIED | Yes |
| TOTAL WORKS | 6 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 6 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 1991 |
| LATEST PUBLICATION YEAR | 2022 |
| H-INDEX | 0 |
Proof-theoretic semantics as a resource for expressing semantic variability
Toward a generalization of the logic of grounding
The main goal of this paper is to provide a ground-analysis of two classical connectives that have so far been ignored in the literature, namely the exclusive disjunction, and the ternary disjunction. Such ground-analysis not only serves to extend the applicability of the logic of grounding but also leads to a generalization of Poggiolesi (2016)’s definition of the notion of complete and immediate grounding
Logical Grounding
The paper proposes grounding the ternary connective “if ... then ... else” (classically interpreted), thus far not considered in the logical grounding literature. In doing so, a new kind of plural grounding, called collective immediate grounding , is proposed as more adequate than the traditional complete immediate grounding in avoiding redundancy. The approach is proof‐theoretic
Proof-Theoretic Semantics for Intensional Transitive Verbs
The article presents a proof-theoretic semantics for intensional transitive verbs (ITVs), with the following three characteristics: (i) non-specific interpretation of indefinite objects; (ii) resistance to substitution of coextensive objects; and (iii) no existential commitment. The article also shows how to handle monotonicity reasoning for ITVs. A central advantage of the approach is the absence to any ontological commitment characteristic of m…
Proof-Theoretic Reconstruction of Generalized Quantifiers
The article presents a proof-theoretic semantic (PTS) analysis of determiners. Its main contribution is the introduction of a proof-theoretical substitute for noun-phrase and determiner meanings, thereby replacing the traditional model-theoretical appeal to generalized quantifiers, and proving conservativity from a proof-theoretic point of view. The article proposes a definition of negative determiners, leading naturally to a bilateral PTS for th…
Program composition and modular verification
No prominent works on this page.
Program composition and modular verification
Proof-Theoretic Reconstruction of Generalized Quantifiers
The article presents a proof-theoretic semantic (PTS) analysis of determiners. Its main contribution is the introduction of a proof-theoretical substitute for noun-phrase and determiner meanings, thereby replacing the traditional model-theoretical appeal to generalized quantifiers, and proving conservativity from a proof-theoretic point of view. The article proposes a definition of negative determiners, leading naturally to a bilateral PTS for th…
Proof-Theoretic Semantics for Intensional Transitive Verbs
The article presents a proof-theoretic semantics for intensional transitive verbs (ITVs), with the following three characteristics: (i) non-specific interpretation of indefinite objects; (ii) resistance to substitution of coextensive objects; and (iii) no existential commitment. The article also shows how to handle monotonicity reasoning for ITVs. A central advantage of the approach is the absence to any ontological commitment characteristic of m…
Toward a generalization of the logic of grounding
The main goal of this paper is to provide a ground-analysis of two classical connectives that have so far been ignored in the literature, namely the exclusive disjunction, and the ternary disjunction. Such ground-analysis not only serves to extend the applicability of the logic of grounding but also leads to a generalization of Poggiolesi (2016)’s definition of the notion of complete and immediate grounding
Logical Grounding
The paper proposes grounding the ternary connective “if ... then ... else” (classically interpreted), thus far not considered in the logical grounding literature. In doing so, a new kind of plural grounding, called collective immediate grounding , is proposed as more adequate than the traditional complete immediate grounding in avoiding redundancy. The approach is proof‐theoretic
Proof-theoretic semantics as a resource for expressing semantic variability
Computer Science (6 works) · Logic, Reasoning, and Knowledge (5 works) · Logic, programming, and type systems (4 works) · Philosophy (4 works) · Mathematics (3 works) · Programming language (3 works) · Semantic Web and Ontologies (3 works) · Calculus (dental) (2 works) · Electrical engineering (2 works) · Engineering (2 works)