Zobrazeno 1 - 10
of 23
pro vyhledávání: '"358"'
Autor:
Estrada-González, Luis
Publikováno v:
EPTCS 358, 2022, pp. 298-309
In this paper I show, with a rich and systematized diet of examples, that many contra-classical logics can be presented as variants of FDE, obtained by modifying at least one of the truth or falsity conditions of some connective. Then I argue that us
Externí odkaz:
http://arxiv.org/abs/2204.06739
Autor:
Punčochář, Vít, Sedlár, Igor
Publikováno v:
EPTCS 358, 2022, pp. 285-297
It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works well within relational semantic frameworks based on prime theories. We st
Externí odkaz:
http://arxiv.org/abs/2204.06738
Publikováno v:
EPTCS 358, 2022, pp. 270-284
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, sim
Externí odkaz:
http://arxiv.org/abs/2204.06737
Autor:
Bolotov, Alexander
Publikováno v:
EPTCS 358, 2022, pp. 254-269
With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic nature of such applications. We describe the expressive power of a simple y
Externí odkaz:
http://arxiv.org/abs/2204.06736
Publikováno v:
EPTCS 358, 2022, pp. 240-253
The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the QN4-lattices satisfying the double negation law (~~x = x) and quasi-Nel
Externí odkaz:
http://arxiv.org/abs/2204.06735
Publikováno v:
EPTCS 358, 2022, pp. 227-239
An exhaustive survey of categorical propositions is proposed in the present paper, both with respect to their nature and the logical problems raised by them. Through a comparative analysis of Term Logic and First-Order Logic, it is shown that the fam
Externí odkaz:
http://arxiv.org/abs/2204.06734
Autor:
Grigoriev, Oleg, Zaitsev, Dmitry
Publikováno v:
EPTCS 358, 2022, pp. 216-226
We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantic
Externí odkaz:
http://arxiv.org/abs/2204.06733
Autor:
Kürbis, Nils
Publikováno v:
EPTCS 358, 2022, pp. 202-215
This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by K\"urbis and the observation that reading the rules for the connectives of bil
Externí odkaz:
http://arxiv.org/abs/2204.06732
Publikováno v:
EPTCS 358, 2022, pp. 189-201
Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is obtained by adding a special conditional to LP. Among its most notable features, besides its being connexive, M3V is negation-inconsistent and it validates the negation of every c
Externí odkaz:
http://arxiv.org/abs/2204.06731
Autor:
Kapsner, Andreas, Omori, Hitoshi
Publikováno v:
EPTCS 358, 2022, pp. 160-173
We reconsider the idea of superconnexivity, an idea that has not received much attention so far. We inspect more closely the problems with the proposal that are responsible for this disregard. However, we also suggest a slight modification of the ide
Externí odkaz:
http://arxiv.org/abs/2204.06729