Browsing Bulletin of the Section of Logic 49/4 (2020) by Title
Now showing items 15 of 5

Empirical Negation, CoNegation and the Contraposition Rule II: ProofTheoretical Investigations
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)We continue the investigation of the first paper where we studied logics with various negations including empirical negation and conegation. We established how such logics can be treated uniformly with R. Sylvan's CCω as ... 
Fourvalued expansions of DunnBelnap's logic (I): Basic characterizations
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)Basic results of the paper are that any fourvalued expansion L4 of DunnBelnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 4 of a De ... 
From Intuitionism to Brouwer's Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication ... 
Length Neutrosophic Subalgebras of BCK=BCIAlgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)Given i, j, k ∈ {1,2,3,4}, the notion of (i, j, k)length neutrosophic subalgebras in BCK=BCIalgebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed ... 
The Phenomenology of SecondLevel Inference: Perfumes in The Deductive Garden
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)We comment on certain features that secondlevel inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goalsimplification, goalpreservation and premisepreservation. ...