Search
Now showing items 1-4 of 4
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen ...
Universality of Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, ...
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)
A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer ...
Identity, Equality, Nameability and Completeness
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the ...