Skip to content

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.

Robert Goldblatt

VenueBAiML
Year2006
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.