Number of the records: 1
Lambek Calculus with Conjugates
- 1.0531299 - ÚI 2022 RIV NL eng J - Journal Article
Sedlár, Igor - Tedder, Andrew
Lambek Calculus with Conjugates.
Studia Logica. Roč. 109, č. 3 (2021), s. 447-470. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Conjugates * Lambek Calculus * Modal logic * Routley–Meyer semantics
OECD category: Pure mathematics
Impact factor: 0.833, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11225-020-09913-2
Permanent Link: http://hdl.handle.net/11104/0309983
Number of the records: 1