Szukaj
Wyświetlanie pozycji 1-2 z 2
Rule-Generation Theorem and its Applications
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical ...
A Useful Four-Valued Extension of the Temporal Logic KtT4
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
The temporal logic KtT4 is the modal logic obtained from the minimal temporal
logic Kt by requiring the accessibility relation to be reflexive (which corresponds to
the axiom T) and transitive (which corresponds to the ...