Home

Carlos__Caleiro



Fibring non-truth-functional logics: Completeness preservation

Non-truth-functional fibred semantics