Results 41 to 50 of about 810,546 (73)
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable ...
García-Cerdaña, Àngel +2 more
core
On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic
, 2023 The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for them.
Rodrigues, Abilio, Coniglio, Marcelo E.
core
Possible translations algebraizability
, 2005 The interest of investigating combinations of logics has a philosophical side, a purely logic-theoretical side and promising applicational interests. This paper concentrates on the logic-theoretical side and studies some general methods for combination ...
J. Bueno-Soler +2 more
core
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
Algebraization of Logics and Beyond
, 2004 this paper, he gave the precise connection between Boolean algebra and classical propositional logic, using the idea of looking at the set of formulas as an algebra with operators induced by the logical connectives.
Ricardo Joao Rodrigues Goncalves +3 more
core
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
On the logics of algebra. [PDF]
, 2008 Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.We present and consider a number of logics that arise naturally from universal algebraic considerations, but which are ‘inherently unalgebraizable’ in the sense of [BP89a], essentially because ...
Barbour, Graham.
core
Fibring in the Leibniz Hierarchy
, 2008 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.
Marcelo E. Coniglio +1 more
core
The Algebras of Lewis Counterfactuals [PDF]
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems.
Ugolini, Sara, Rosella, Giuliano
core