Szukaj
Wyświetlanie pozycji 1-1 z 1
Disjunctive Multiple-Conclusion Consequence Relations
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the ...