19 results on '"Francez, Nissim"'
Search Results
2. Proof-Theoretic Semantics for Natural Language
3. Bilateralism, Trilateralism, Multilateralism and Poly-Sequents
4. On Beall’s New Interpretation of WK3
5. Diversification of Object-Languages for Propositional Logics
6. A Proof-Theoretic Semantics for Adjectival Modification
7. The Lambek Calculus Extended with Intuitionistic Propositional Logic
8. A Decidable Temporal Logic for Temporal Prepositions
9. A Logic Inspired by Natural Language: Quantifiers As Subnectors
10. Verb-Phrase Ellipsis in Dynamic Semantics
11. Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
12. Bilateralism in Proof-Theoretic Semantics
13. A Note on Harmony
14. Proof-theoretic semantics for a natural language fragment
15. Extending Free Pregroups with Lower Bounds
16. Proof-Theoretic Semantics for Subsentential Phrases
17. Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules
18. Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages
19. Editors’ Preface
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.