Results 11 to 20 of about 155 (78)
A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
The Journal of Symbolic Logic, 2015 AbstractThis paper considers Henkin’s proof of completeness of classical first-order logic and extends its scope to the realm of algebraizable logics in the sense of Blok and Pigozzi. Given a propositional logic L (for which we only need to assume that it has an algebraic semantics and a suitable disjunction) we axiomatize two natural first-order ...
Petr Cintula, Carles Noguera
openaire +5 more sources
Fragments of Quasi-Nelson: The Algebraizable Core [PDF]
, 2021 This is the second of a series of papers that investigate fragments of quasi-Nelson logic (QNL) from an algebraic logic standpoint. QNL, recently introduced as a common generalization of intuitionistic and Nelson’s constructive logic with strong negation,
Rivieccio, Umberto
core +1 more source
Some Modal and Temporal Translations of Generalized Basic Logic [PDF]
, 2021 We introduce a family of modal expansions of Łukasiewicz logic that are designed to accommodate modal translations of generalized basic logic (as formulated with exchange, weakening, and falsum).
Wesley Fussner +3 more
core +1 more source
On product logic with truth-constants [PDF]
, 2006 Product Logic Π is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we
Cignoli R. +4 more
core +3 more sources
Negative Translations of Orthomodular Lattices and Their Logic
, 2021 We introduce residuated ortholattices as a generalization of—and environment for the investigation of—orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices as those residuated
Fussner, Daniel, St. John, Gavin
core +1 more source
The logic of equilibrium and abelian lattice ordered groups [PDF]
, 2022 We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. ‘‘Truth values’’ are interpreted as deviations from a state of equilibrium, so in this sense, the theorems ...
Lewin, Renato A. +2 more
core +2 more sources
Weakly Free Multialgebras [PDF]
, 2021 In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi.
Vicentin de Toledo, Guilherme +1 more
core +1 more source
The logic of distributive bilattices [PDF]
, 2016 Bilattices, introduced by Ginsberg (1988, Comput. Intell., 265-316) as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron (1996, J.
Rivieccio, Umberto, Bou, Felix
core +2 more sources
Non-deterministic algebraization of logics by swap structures
, 2021 Multialgebras (or hyperalgebras or non-deterministic algebras) 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 ...
Golzio, Ana Claudia +2 more
core +1 more source
An algebraic investigation of Linear Logic [PDF]
In this paper we investigate two logics (and their fragments) from an algebraic point of view. The two logics are: MALL (multiplicativeadditive Linear Logic) and LL (classical Linear Logic).
Agliano', Paolo
core +1 more source