المؤلفون: Moortgat, Michael, Sadrzadeh, Mehrnoosh

المصدر: EPTCS 381, 2023

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2308.03679

المؤلفون: Wijnholds, Gijs, Moortgat, Michael

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2305.14917

المؤلفون: Kogkalidis, Konstantinos, Moortgat, Michael, Moot, Richard

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2302.12050

المؤلفون: Moortgat, Michael, Wijnholds, Gijs

المصدر: EPTCS 366, 2022

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2208.05313

المؤلفون: Kogkalidis, Konstantinos, Moortgat, Michael

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2203.12235

المؤلفون: Tziafas, Giorgos, Kogkalidis, Konstantinos, Wijnholds, Gijs, Moortgat, Michael

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2104.10516

المؤلفون: Wijnholds, Gijs, Moortgat, Michael

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2101.05716

المؤلفون: Greco, Giuseppe, Richard, Valentin D., Moortgat, Michael, Tzimoulis, Apostolos

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2011.02895

المؤلفون: Kogkalidis, Konstantinos, Moortgat, Michael, Moot, Richard

المصدر: Proceedings of the 24th Conference on Computational Natural Language Learning (2020)

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2009.12702

المؤلفون: Moortgat, Michael, Sadrzadeh, Mehrnoosh, Wijnholds, Gijs

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2005.05639

المؤلفون: Correia, Adriana D., Stoof, Henk T. C., Moortgat, Michael

المصدر: EPTCS 340, 2021, pp. 114-140

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Logic in Computer Science, Quantum Physics

URL الوصول: http://arxiv.org/abs/2004.04128

المؤلفون: Kogkalidis, Konstantinos, Moortgat, Michael, Moot, Richard

المصدر: Proceedings of The 12th Language Resources and Evaluation Conference (2020)

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1912.12635

المؤلفون: Correia, Adriana D., Moortgat, Michael, Stoof, Henk T. C.

مصطلحات موضوعية: Computer Science - Computation and Language, Quantum Physics

URL الوصول: http://arxiv.org/abs/1908.07347

المؤلفون: Greco, Giuseppe, Liang, Fei, Moortgat, Michael, Palmigiano, Alessandra, Tzimoulis, Apostolos

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1908.05528

المؤلفون: Kogkalidis, Konstantinos, Moortgat, Michael, Deoskar, Tejaswini

المصدر: Proceedings of the 4th Workshop on Representation Learning for NLP (RepL4NLP-2019)

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/1905.13418

المؤلفون: Greco, Giuseppe, Moortgat, Michael, Richard, Valentin D., Tzimoulis, Apostolos

المساهمون: Palmigiano, Alessandra, Sadrzadeh, Mehrnoosh

المصدر: Greco , G , Moortgat , M , Richard , V D & Tzimoulis , A 2023 , Lambek–Grishin Calculus : Focusing, Display and Full Polarization . in A Palmigiano & M Sadrzadeh (eds) , Samson Abramsky on Logic and Structure in Computer Science and Beyond . Outstanding Contributions to Logic , vol. 25 , Springer Science and Business Media B.V. , pp. 877-915 . https://doi.org/10.1007/978-3-031-24117-8_24

مصطلحات موضوعية: Focused sequent calculi, Heterogeneous algebras, Lambek–Grishin calculus, Multi-type display calculi, Polarized logics, Semantics of proofs, Weakening relations

وصف الملف: application/pdf

Relation: urn:ISBN:9783031241161; urn:ISBN:9783031241192

الاتاحة: https://research.vu.nl/en/publications/2da391ad-d56e-4f1a-9b59-86df724334e5
https://doi.org/10.1007/978-3-031-24117-8_24
https://hdl.handle.net/1871.1/2da391ad-d56e-4f1a-9b59-86df724334e5
https://research.vu.nl/ws/files/334791743/Lambek_Grishin_Calculus_Focusing_Display_and_Full_Polarization.pdf
http://www.scopus.com/inward/record.url?scp=85168689611&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85168689611&partnerID=8YFLogxK

المؤلفون: Moortgat, Michael, Wijnholds, Gijs

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1711.11513

المؤلفون: Greco, Giuseppe, Moortgat, Michael, Richard, Valentin, D., Tzimoulis, Apostolos

المساهمون: Delft University of Technology (TU Delft), Vrije Universiteit Amsterdam Amsterdam (VU), Universiteit Utrecht / Utrecht University Utrecht, Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Semantic Analysis of Natural Language (SEMAGRAMME), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Maria Manuel Clementino, Peter Jipsen, Jorge Picado

المصدر: Topology, Algebra, and Categories in Logic (TACL 2022) ; https://hal.science/hal-03727761 ; Topology, Algebra, and Categories in Logic (TACL 2022), Maria Manuel Clementino; Peter Jipsen; Jorge Picado, Jun 2022, Coimbra, Portugal. pp.79-81 ; https://www.mat.uc.pt/~tacl2021/

مصطلحات موضوعية: Display logic, Focused sequent calculus, Lambek-Grishin calculus, Polarized logics, Heterogeneous algebras, Weakening relations, Semantics of proofs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

جغرافية الموضوع: Coimbra, Portugal

الاتاحة: https://hal.science/hal-03727761
https://hal.science/hal-03727761v1/document
https://hal.science/hal-03727761v1/file/TACL_2022_paper_45.pdf

المؤلفون: Iemhoff, Rosalie, Moortgat, Michael, Greco, Giuseppe, de Queiroz, Ruy

المصدر: The Bulletin of Symbolic Logic, 2019 Sep 01. 25(3), 421-422.

URL الوصول: https://www.jstor.org/stable/26788537

المؤلفون: Loukanova, Roussanka, Moortgat, Michael

المصدر: Journal of Logic, Language, and Information, 2019 Apr 01. 28(2), 97-99.

URL الوصول: https://www.jstor.org/stable/45216789