Przeglądaj Bulletin of the Section of Logic według tematu "Relevant logics"
Wyświetlanie pozycji 1-2 z 2
-
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. ... -
The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-27)We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, ...