6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Complexities of Well-Quasi-Ordered Substructural Logics
Nikolaos Galatos, Vitor Greati, Revantha Ramanayake +1
Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity),…
math.LO2021★ 6 cited
Negative Translations of Orthomodular Lattices and Their Logic
Wesley Fussner, Gavin St. John
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts re…