Skip to content

A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality.

Dmitrij P. Skvortsov

VenueBAiML
Year2012
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.