Results 21 to 30 of about 810,546 (73)
Swap structures semantics for Ivlev-like modal logics [PDF]
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2019 In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a.
Golzio, Ana Claudia +1 more
core +2 more sources
A note on the hierarchy of algebraizable logics
, 2013 There are numerous strengthenings of this notion in the literature, which are often confused, the usually mistakes being that finitary of L implies that L is an elementary class2 (a counterexample is given in [2]) or vice versa (a counterexample is ...
Cintula, Petr, Noguera, Carles
core +2 more sources
Algebraizability of the Logic of Quasi-N4-Lattices
Electronic Proceedings in Theoretical Computer Science, 2022 In Proceedings NCL 2022, arXiv:2204 ...
Neto, Clodomir Silva Lima +2 more
openaire +2 more sources
The Modelwise Interpolation Property of Semantic Logics
Bulletin of the Section of Logic, 2023 In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi ...
Z. Gyenis +2 more
semanticscholar +1 more source
, 2023 We extend the standard framework of abstract algebraic logic to the setting of logics which are not closed under uniform substitution. We introduce the notion of weak logics as consequence relations closed under limited forms of substitutions and we give
Nakov, Georgi +1 more
core
Non-deterministic algebraization of logics by swap structures1 [PDF]
, 2020 Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that ...
Golzio, Ana Claudia +2 more
core
Behavioral algebraization of logics [PDF]
We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic.
Caleiro, C. +2 more
core +1 more source
A categorial foundation for a representation theory of logics
, 2019 Neste trabalho estabelecemos uma base teórica para a construção de uma teoria de rep- resentação de lógicas proposicionais. Iniciamos identificando uma relação precisa entre a categoria das lógicas (Blok-Pigozzi) algebrizáveis e a categoria de suas ...
Pinto, Darllan Conceição
core +1 more source
On Semantic Gamification [PDF]
, 2016 The purpose of this essay is to study the extent in which the semantics for different logical systems can be represented game theoretically. I will begin by considering different definitions of what it means to gamify a semantics, and show completeness ...
Ignacio Ojea Quintana +1 more
core +1 more source