Results 31 to 40 of about 810,546 (73)
, 2004 According to Frege's principle the denotation of a sentence coincides with its truth-value. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes ...
Pigozzi, D., Czelakowski, J.
core +1 more source
SEQUENTIAL CALCULI FOR MANY-VALUED LOGICS WITH EQUALITY DETERMINANT [PDF]
, 2004 We propose a general method of constructing sequential calculi with cut elimination property for propositional finitely-valued logics with equality determinant.
Alexej P Pynko
core
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
Glivenko theorems revisited [PDF]
, 2009 Glivenko-type theorems for substructural logics (over FL) are comprehensively studied in the paper (GO06b). Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable (see (GO06a) and also (GJKO07) for
Ono, Hiroakira
core +1 more source
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account
, 2022 One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Fuenmayor, David +2 more
core
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
Operators and strong versions of sentential logics in Abstract Algebraic Logic [PDF]
, 2016 This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and develops an abstract framework which
Albuquerque, Hugo Cardoso
core +1 more source
A categorial foundation for a representation theory of logics
, 2016 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
ALGEBRAS AND MATRICES FOR ANNOTATED LOGICS ∗
, 2008 We study the matrices, reduced matrices and algebras associated to the systems SALτ of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be ...
R. A. Lewin +3 more
core