Dualities and algebraic geometry of Baire functions in non-classical logic.

Antonio Di Nola Serafina Lapenta Giacomo Lenzi

Published in: J. Log. Comput. (2021)

Keyphrases

classical logic
algebraic geometry
logic programming
modal logic
intuitionistic logic
polynomial equations
default logic
set theory
probability distribution