Results 31 to 40 of about 155 (78)

Ordered Algebras and Logic

, 2010
Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras have long played a decisive role in logic, although perhaps only in recent years has the significance of the relationship between the two fields begun to
Paoli, Francesco, Francesco Paoli, Tsinakis, Constantine, Metcalfe, George, George Metcalfe, Constantine Tsinakis   +5 more
core  

Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logic [PDF]

, 2009
This paper develops a comprehensive study of various types of interpolation propertiesand Beth definability properties for substructural logics, and their algebraic characterizationsthrough amalgamation properties and epimorphisms surjectivity.
Ono, Hiroakira, Kihara, Hitoshi
core   +1 more source

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., Martins, Manuel A., Gonçalves, R.   +2 more
core   +1 more source

A perspective on the algebra of logic

, 2011
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so intuitive that they are seldom formalized. Consequently, non-algebraic deductive systems (or ‘logics’) are very often interpreted in ...
Raftery, JG
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  

A note on the hierarchy of algebraizable logics

, 2013
Peer ...
Cintula, Petr, Noguera, Carles
openaire   +1 more source

On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions.

Nilpotent Minimum logic (NML) is a substructural algebraizable logic that is a distinguished member of the family of systems of Mathematical Fuzzy logic, and at the same time it is the axiomatic extension with the prelinearity axiom of Nelson and Markov ...
Godo i Lacasa, Lluís, Esteva Massaguer, Francesc, Gispert Brasó, Joan, Coniglio, Marcelo E.   +3 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

BOUNDED COMMUTATIVE B-C-K LOGIC AND LUKASIEWICZ LOGIC

, 2016
In [9] it is proved the categorical isomorphism of two varieties: bounded commutative BCK-algebras and MV -algebras. The class of MV -algebras is the algebraic counterpart of the infinite valued propositional calculus L of Lukasiewicz (see [4]). The main
Sagastume, Marta
core  

Algebraic semantics for Nelson’s logic S [PDF]

, 2018
Besides the better-known Nelson logic (3) and paraconsistent Nelson logic (4), in Negation and separation of concepts in constructive systems (1959) David Nelson introduced a logic that he called , with motivations of arithmetic and constructibility ...
Silva, Thiago Nascimento da
core