×

Found 1,746 Documents (Results 1–100)

Modal Lambek calculus with primary assumptions: decidability and context-freeness. (English) Zbl 07823019

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 149-155 (2023).

Semantic analysis of subexponential modalities in distributive non-commutative linear logic. (English) Zbl 1541.03083

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 60-70 (2023).
MSC:  03B45 03B47

Multimodality in the hypergraph Lambek calculus. (English) Zbl 1541.03089

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 46-59 (2023).

Explorations in subexponential non-associative non-commutative linear logic. (English) Zbl 1541.03088

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 4-19 (2023).
MSC:  03B47 03F52

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software