The one-variable fragment of corsi logic

DOI10.1007/978-3-662-59533-6_5OpenAlexW2951722765MaRDI QIDQ2303581

Olim Frits Tuyt, George Metcalfe, Ricardo Oscar Rodríguez, Xavier Caicedo

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_5

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (4)

Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Varieties of Relevant S5 ⋮ Completeness for monadic fuzzy logics via functional algebras

This page was built for publication: The one-variable fragment of corsi logic