Results 1 to 10 of about 170 (19)
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
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic [PDF]
, 2000 Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth value set [0,1].
Baaz, Matthias, Zach, Richard
core +4 more sources
Pavelka-style completeness in expansions of \L ukasiewicz logic [PDF]
, 2008 An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given.
Freytes, Hector
core +1 more source
Hidden modalities in algebras with negation and implication [PDF]
, 2013 Lukasiewicz 3-valued logic may be seen as a logic with hidden truthfunctional modalities de ned by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provable for these modalities, and rule (RN) is admissible. We
Järvinen, Jouni +3 more
core +1 more source
States on pseudo effect algebras and integrals [PDF]
, 2010 We show that every state on an interval pseudo effect algebra $E$ satisfying some kind of the Riesz Decomposition Properties (RDP) is an integral through a regular Borel probability measure defined on the Borel $\sigma$-algebra of a Choquet simplex $K ...
A. Dvurečenskij +21 more
core +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
Incompleteness of a first-order Gödel logic and some temporal logics of programs [PDF]
, 1996 It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant ...
Baaz, Matthias +2 more
core +2 more sources
Representation of States on Effect-Tribes and Effect Algebras by Integrals [PDF]
, 2010 We describe $\sigma$-additive states on effect-tribes by integrals. Effect-tribes are monotone $\sigma$-complete effect algebras of functions where operations are defined by points.
Dvurečenskij, Anatolij
core +1 more source