Cintula, Petr

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2022 | 2015

2022

Cintula, Petr; Metcalfe, George; Tokuda, Naomi (2022). Algebraic semantics for one-variable lattice-valued logics. In: Fernández-Duque, David; Palmigiano, Alessandra; Pinchinat, Sophie (eds.) Proceedings of AiML 2022. Advances in Modal Logic: Vol. 14 (pp. 237-257). College Publications

2015

Metcalfe, George; Cintula, Petr; Diaconescu, Denisa (2015). Skolemization for Substructural Logics. In: Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2015. Lecture Notes in Computer Science: Vol. 9450 (pp. 1-15). Springer 10.1007/978-3-662-48899-7_1

Provide Feedback