Results 21 to 30 of about 1,206 (89)

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, Kondo, Michiro, Mattila, Jorma K., Radeleczki, Sándor   +3 more
core   +1 more source

T-subnorms with strong associated negation: Some properties [PDF]

, 2017
In this work we investigate t-subnorms M that have strong associated negation. Firstly, we show that such t-subnorms are necessarily t-norms. Following this, we investigate the inter-relationships between different algebraic and analytic properties of ...
Jayaram, Balasubramaniam
core   +2 more sources

Interval-valued and intuitionistic fuzzy mathematical morphologies as special cases of L-fuzzy mathematical morphology [PDF]

, 2011
Mathematical morphology (MM) offers a wide range of tools for image processing and computer vision. MM was originally conceived for the processing of binary images and later extended to gray-scale morphology.
Deschrijver, Glad, Esmi, Estevão, Kerre, Etienne, Mélange, Tom, Nachtegael, Mike, Sussner, Peter   +5 more
core   +1 more source

A map of dependencies among three-valued logics [PDF]

, 2013
International audienceThree-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations.
Adamatzky, Asenjo, Avron, Baaz, Banerjee, Belluce, Belnap, Bochvar, Cattaneo, Cattaneo, Cattaneo, Cattaneo, Cignoli, Ciucci, Codd, D. Ciucci, D. Dubois, De Baets, De Baets, Drewniak, Dubois, Dubois, Dubois, Dubois, Dubois, Dubois, D’Ottaviano, Fitting, Fodor, Fox, Gentilhomme, Hardegree, Hosoi, Hájek, Jaśkowski, Jobe, Kleene, Klement, Konikowska, Lawry, Mas, Mas, Mas, Mas, McCarthy, Nelson, Pearce, Pedrycz, Priest, Rosser, Sabo, Sette, Smets, Smith, Sobociński, Urquhart, Vakarelov, Vakarelov, Walker   +58 more
core   +4 more sources

Solution to an open problem: A characterization of conditionally cancellative t-subnorms [PDF]

, 2012
In this work we solve an open problem of U. Höhle (Klement et al. Fuzzy Sets Syst 145:471-479, 2004, Problem 11). We show that the solution gives a characterization of all conditionally cancellative t-subnorms.
Jayaram, Balasubramaniam
core   +1 more source

Paraconsistency properties in degree-preserving fuzzy logics [PDF]

, 2014
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion ...
Ertola, Rodolfo, Esteva, Francesc, Flaminio, Tommaso, Godo, Lluis, Noguera, Carles   +4 more
core   +1 more source

Logics of formal inconsistency arising from systems of fuzzy logic

, 2014
This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo, Esteva, Francesc, Godo, Lluís   +2 more
core   +1 more source

An algebraic generalization of Kripke structures

, 2007
The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales.
Emerson, Harel, Hughes, Hughes, Johnstone, Mulvey, PEDRO RESENDE, Rosenthal, SÉRGIO MARCELINO   +8 more
core   +1 more source

Negational Fragment of Intuitionistic Control Logic [PDF]

, 2014
We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum.
Glenszczyk, Anna
core   +3 more sources

The Use of the Legendre Transform in Chemical Thermodynamics: A Powerful Tool

Israel Journal of Chemistry, Volume 66, Issue 2, March 2026.
Starting from Gibbs’ formulation of internal energy, all thermodynamic potentials can be obtained via the Legendre transform, along with a mnemonic rule for their calculation and an analysis of the extensivity of internal energy, culminating in Euler's theorem, the Gibbs–Duhem equation, and the definition of chemical potential.
Renato Veríssimo de Oliveira, Luiz Daniel Alves Rios, Norberto de Kássio Vieira Monteiro   +2 more
wiley   +1 more source