Results 21 to 30 of about 155 (78)
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
An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$
, 2023 In this paper we show that axiomatic extensions of H. Wansing's connexive logic C (C-?) are algebraizable (in the sense of J.W. Blok and D. Pigozzi) with respect to sub-varieties of C(C-?)-algebras. We develop the structure theory of C(C-?)-algebras, and
Odintsov, SP +3 more
core +1 more source
Fibring In The Leibniz Hierarchy
, 2015 This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, equivalential and algebraizable.
Coniglio M.E., Fernandez V.L.
core +1 more source
A Global Glance On Categories In Logic
, 2015 We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of ...
Luciano O.O. +3 more
core +1 more source
Definitional equivalence and algebraizability of generalized logical systems
Annals of Pure and Applied Logic, 1999 The author introduces and studies a concept of algebraizable sequential logic, a generalized notion of a logical system that covers, on a uniform basis, sequential systems and the quasi-equational theories of quasivarieties in Mal'tsev's sense. The author defines a concept of equivalence between generalized logics so that a logic is considered to be ...
openaire +2 more sources
Product logic and the deduction theorem [PDF]
, 1997 Preprint enviat per a la seva publicació en una revista científica.In this paper we prove the following negative result: Product Logic [9] does not have the Deduction Theorem, that is, there is no binary defined connective in the language of Product ...
Adillón, Román +1 more
core
Axiomatizing the Logic of Ordinary Discourse [PDF]
Most non-classical logics are subclassical, that is, every inference/theorem they validate is also valid classically. A notable exception is the three-valued propositional Logic of Ordinary Discourse (.OL) proposed and extensively motivated by W.S ...
Rivieccio, Umberto +2 more
core +3 more sources
Gaggles, Gentzen and Galois: A Proof Theory for Algebraizable Logics
, 1995 We show how the Gaggle Theory of Dunn gives a Gentzen-style proof theory for many algebraizable logics via the Display Logic of Belnap. At the heart of both systems lie the algebraic notions of residuation, Galois connections, and their duals ...
Rajeev Goré
core
Algebraic characterizations of various Beth definability properties
, 1999 In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. N'emeti (cf. [HMT85, Theorem 5.6.10]).
Hoogland, E., Eva Hoogland
core
An algebraic investigation of Linear Logic
, 2023 In this paper we investigate two logics from an algebraic point of view. The two logics are: MALL (multiplicative-additive Linear Logic) and LL (classical Linear Logic).
Aglianò, Paolo
core