Báo cáo khoa học: "Categorial grammar,modalities and algebraic semantics"

This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-theoretic ideas of Venema [1993b; 1993a] and the theory of equational specifications, a class of resource-preserving logics is defined, for which decidability and completeness theorems are established.

Không thể tạo bản xem trước, hãy bấm tải xuống
Tải xuống
TÀI LIỆU LIÊN QUAN
TÀI LIỆU XEM NHIỀU

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    40784    2402

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    24887    248

31 Câu hỏi ôn tập môn Chủ nghĩa xã hội khoa học
25    24366    4275

Tiểu luận: Vai trò của Nguyễn Ái Quốc đối với việc thành lập Đảng Cộng sản Việt Nam
16    19985    2843

Tiểu luận Tình huống xử lý sai phạm trong thanh toán công tác phí lưu động
20    19444    1542

100 câu hỏi trắc nghiệm Triết học Mác-Lênin kèm đáp án
14    19206    2965

Bảng biến đổi Laplace và biến đổi Z
1    19201    614

Ebook Ôn luyện tiếng Anh 9 có đáp án: Phần 2 - Mai Lan Hương, Hà Thanh Uyên
37    16095    2958

Đề thi và Đáp án môn Tiếng Việt thực hành - ĐH SPKT TP.HCM
3    15863    327

Sự so sánh văn bản văn học và tác phẩm văn học
1    14515    132
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG

Luận án Tiến sĩ Y tế Công cộng: Thực trạng chẩn đoán và điều trị lao tiềm ẩn tại hai tỉnh Quảng Nam, Đà Nẵng và kết quả một số giải pháp can thiệp
223    73    3    16-05-2024

Creating a line of acne treatment products using citrus hystrix (Kaffir lime) peels’ essential oil as active ingredient
6    76    1    16-05-2024

Đánh giá chất lượng nước mặt trên hệ thống các sông rạch chính khu vực thành phố Hồ Chí Minh ứng với quy hoạch khu công nghiệp và phát triển dân cư
6    871    3    16-05-2024

Ảnh hưởng của biến đổi khí hậu đến ngập lụt thành phố Cần Thơ các giải pháp kiểm soát và thích ứng
8    85    2    16-05-2024

Xây dựng bản đồ quy hoạch sản xuất chè cho huyện Tân Sơn thông qua ứng dụng công nghệ bản đồ kỹ thuật số GIS
10    109    1    16-05-2024

Khóa luận tốt nghiệp Quản trị kinh doanh: Giải pháp nâng cao sự thỏa mãn của nhân viên tại chi nhánh SXKD thức ăn thủy sản Công ty cổ phần chăn nuôi CP Việt Nam
101    211    3    16-05-2024

Giáo trình Đo lường điện lạnh (Nghề: Kỹ thuật máy lạnh và điều hòa không khí - Cao đẳng) - Trường Cao đẳng Cơ điện Xây dựng Việt Xô
83    101    4    16-05-2024

Bài giảng Đạo đức lớp 1: Đèn giao thông - Võ Mộng Thuý
13    62    1    16-05-2024

Barriers and enablers of weight management after breast cancer: A thematic analysis of free text survey responses using the COM-B model
13    68    1    16-05-2024

Luận văn Thạc sĩ Khoa học: Nghiên cứu công nghệ sản xuất sản phẩm thịt muối chua
114    103    8    16-05-2024

Sự thay đổi trong cung ứng dịch vụ và thuốc tại các trạm y tế xã thực hiện can thiệp thí điểm gói dịch vụ y tế cơ bản
11    782    2    16-05-2024

Nắm trọn chuyên đề môn Toán năm 2021: Mũ - Logarit và Tích phân - Phần 2
279    81    1    16-05-2024

Đề kiểm tra cuối học kì 1 môn Toán lớp 10 năm 2020-2021 có đáp án - Trường THPT Đông Hà
5    82    1    16-05-2024

Hiệu quả keo tụ vi tảo Dunaliella salina bằng chitosan
8    125    1    16-05-2024

Comparison of volatile trapping techniques for the comprehensive analysis of food flavourings by Gas Chromatography-Mass Spectrometry
10    65    1    16-05-2024

Giáo trình Kỹ thuật lắp đặt điện (Nghề: Điện công nghiệp - Cao đẳng): Phần 2 - Trường Cao đẳng Cơ điện Xây dựng Việt Xô
49    180    15    16-05-2024

An optimal dispatch of microgrid based on improved particle swarm algorithm
9    304    2    16-05-2024

Bài giảng Đại số lớp 9 bài 3: Liên hệ giữa phép nhân và phép khai phương
16    84    5    16-05-2024

Tăng cường hiệu quả áp dụng biện pháp giáo dục tại xã, phường, thị trấn đối với người chưa thành niên vi phạm pháp luật
9    184    1    16-05-2024

Nghiên cứu mô hình giáo dục mở tại Việt Nam hướng đến đào tạo thực chất đáp ứng yêu cầu của xã hội
7    73    1    16-05-2024
TÀI LIỆU HOT

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    24887    248

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    40784    2402

CẬP  NHẬT KINH TẾ VĨ MÔ VIỆT NAM 6 tháng đầu năm 2020
3    2742    81

Sách trắng Doanh nghiệp Việt Nam năm 2020
580    5029    363

Việt Nam 2035 hướng tới thịnh vượng, sáng tạo, công bằng và dân chủ
584    3311    100

BÀI GIẢNG DỰNG HÌNH SKETCHUP 2020 BIÊN SOẠN : GV.KTS PHAN THỨC
62    6611    1

GIÁO TRÌNH TIẾNG ANH ENG BREAKING
171    5671    719

Quản trị khủng hoảng trong quan hệ công chúng
2    3099    78

Báo cáo thực tập chuyên ngành: Nghiên cứu, thiết kế, mô phỏng robot công nghiệp
51    4418    200

Đề tài “ Cân đối ngân sách nhà nước- thực trạng và hướng hoàn thiện”
53    4708    188
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.