Results 1 to 10 of about 37 (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 +2 more
doaj +1 more source
Bulletin of Symbolic Logic, 2020 prepared by Rosario Mennuni. E-mail: R.Mennuni@tutanota.com URL: http://etheses.whiterose.ac.uk/26807/ José Miguel Blanco, An Implicative Expansion of Belnap’s Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes (
J. Blanco
semanticscholar +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 +2 more
doaj +1 more source
RADICAL OF A-IDEALS IN MV -MODULES
, 2014 In this paper, we introduce the notion of the radical of an ideal in MV - algebras. Several characterizations of this radical is given. We define the notion of a semi-maximal ideal in an MV -algebra and prove some theorems which give relations between ...
F. Forouzesh, E. Eslami, A. Saeid
semanticscholar +1 more source
Remarks on some connections between ideals and filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria MatematicaIdeals 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 +2 more
doaj +1 more source
Free algebras in varieties of BL-algebras generated by a BLn-chain
Journal of the Australian Mathematical Society, 2006 M. Busaniche, R. Cignoli
semanticscholar +1 more source