1 citations · 2 across the 3 of their papers we have counts for
3 papers
math.LO2023★ 1 cited
One-variable fragments of first-order logics
Petr Cintula, George Metcalfe, Naomi Tokuda
The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modaliti…
math.LO2022★ 1 cited
Algebraic semantics for one-variable lattice-valued logics
Petr Cintula, George Metcalfe, Naomi Tokuda
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, r…
math.LO2021
Deciding dependence in logic and algebra
George Metcalfe, Naomi Tokuda
We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defin…