Volume: Vol-4228 CI-BD-SOQE 2026 | Year: 2026

Paper: « paper2 | paper3 | short3 »

Correspondence Theory for Intuitionistic Łukasiewicz Logic

• Andrew Lewis-Smith
• Zhiguang Zhao

43-58 PDF