Results 1 to 10 of about 26 (26)

Encoding many-valued logic in $\lambda$-calculus [PDF]

Logical Methods in Computer Science, 2021
We will extend the well-known Church encoding of Boolean logic into $\lambda$-calculus to an encoding of McCarthy's $3$-valued logic into a suitable infinitary extension of $\lambda$-calculus that identifies all unsolvables by $\bot$, where $\bot$ is a ...
Fer-Jan de Vries
doaj   +1 more source

Hyper Rl-Ideals in Hyper Residuated Lattices

Discussiones Mathematicae - General Algebra and Applications, 2022
In this paper, we introduce the notion of a (strong) hyper RL-ideal in hyper residuated lattices and give some properties and characterizations of them.
Bakhshi Mahmood
doaj   +1 more source

Gődel filters in residuated lattices

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021
In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana, Dan Christina Theresia, Dina Anca   +2 more
doaj   +1 more source

Some decompositions of filters in residuated lattices

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019
In this paper we introduce a new class of residuated lattice: residuated lattice with (C∧&→) property and we prove that (C∧&→) ⇔ (C→) + (C∧).Also, we introduce and characterize C→, C∨, C∧ and C∧ & → filters in residuated lattices (i.e., we characterize ...
Piciu Dana, Dan Christina Theresia, Chirteş Florentina   +2 more
doaj   +1 more source

Remarks on some connections between ideals and filters in residuated lattices

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica
Ideals and filters are important notions with different meanings in the study of algebraic structures related to logical systems. In this paper we establish new connections between these concepts in residuated lattices.
Piciu Dana, Dan Christina, Boboc Florentina   +2 more
doaj   +1 more source

Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras

Open Mathematics, 2006
Cabrer Leonardo, Celani Sergio
doaj   +1 more source

The simple consistency of a set theory based on the logic ${\rm CSQ}$.

Notre Dame Journal of Formal Logic, 1983
Ross T Brady
exaly  

Modalities in vector logic.

Notre Dame Journal of Formal Logic, 1994
Eduardo Mizraji
exaly  

A more satisfactory description of the semantics of justification.

Notre Dame Journal of Formal Logic, 1981
John T Kearns
exaly  

Local and global operators and many-valued modal logics.

Notre Dame Journal of Formal Logic, 1979
Charles G Morgan
exaly