Kripke-type compatibility of transformations of general sets ofalternatives with cognitive and incomplete preferences
Jan Chvalina, Jří Moučka · 2009
The present contribution is devoted to investigation of certain realzation problem concerning cognitive and incomplete preferences on general infinite sets of alternatives. The use of strong relational homomorphisms is motivated by pseudo-epimorphisms in Kripke semantics which are formal semantics of certain non-classical logical systems.