NCL'24: NON-CLASSICAL LOGICS: THEORY AND APPLICATIONS 2024
HOME
SUBMISSIONS
DATES & FEES
COMMITTEES
INVITED SPEAKERS
ACCEPTED PAPERS
REGISTRATION
VENUE
CONTACT
9TH WORKSHOP ON CONNEXIVE LOGICS
PROGRAM
AUTHORS
KEYWORDS
SLIDES
SLIDES
Complexity of Nonassociative Lambek Calculus with Classical Logic
Paweł Płaczek
Many-Valued Modal Logic
Amir Karniel
and
Michael Kaminski
Total: 2 presentations.
Disclaimer
|
Powered by EasyChair Smart Program