Naomi Tokuda

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Datalog Programs

Algebraic Structure

Top Venues

Publications

George Metcalfe, Naomi Tokuda, Petr Cintula
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML (2022)
Petr Cintula, George Metcalfe, Naomi Tokuda
Algebraic semantics for one-variable lattice-valued logics. CoRR (2022)