34 results on '"Francez, Nissim"'
Search Results
2. Proof-theoretic semantics as a resource for expressing semantic variability
3. Calculi for Many-Valued Logics
4. Proof-Theoretic Semantics for Natural Language
5. Structural Rules for Multi-valued Logics
6. On Beall’s New Interpretation of $$WK_{3}$$ W K 3
7. Bilateralism, Trilateralism, Multilateralism and Poly-Sequents
8. Diversification of Object-Languages for Propositional Logics
9. A Proof-Theoretic Semantics for Exclusion
10. A Proof-Theoretic Semantics for Adjectival Modification
11. The Lambek Calculus Extended with Intuitionistic Propositional Logic
12. On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics
13. Harmony in Multiple-Conclusion Natural-Deduction
14. A Logic Inspired by Natural Language: Quantifiers As Subnectors
15. Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
16. Bilateralism in Proof-Theoretic Semantics
17. Editors’ Preface
18. A Note on Harmony
19. Proof-theoretic semantics for a natural language fragment
20. Extending Free Pregroups with Lower Bounds
21. Proof-Theoretic Semantics for Subsentential Phrases
22. Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules
23. Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages
24. Categorial grammar and the semantics of contextual prepositional phrases
25. Unification Grammars and Off-Line Parsability
26. A logic-based approach to program flow analysis
27. E-type pronouns, i-sums, and donkey anaphora
28. Fairness and hyperfairness in multi-party interactions
29. On equivalence-completions of fairness assumptions
30. A proof method for cyclic programs
31. Backtracking in recursive computations
32. Appraising fairness in languages for distributed programming
33. Fairness and the axioms of control predicates
34. Product properties and their direct verification
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.