Abstract
MTL is the logic of all left-continuous t-norms and their residua. Its algebraic semantics is constituted by the variety \(\mathbb{V}\)(MTL) of MTL-algebras. Among schematic extensions of MTL there are infinite-valued logics \(\mathcal{L}\) such that the finitely generated free algebras in the corresponding subvariety \(\mathbb{V}\)(\(\mathcal{L}\)) of \(\mathbb{V}\)(MTL) are finite. In this paper we focus on Gödel and Nilpotent Minimum logics. We give concrete representations of their associated free algebras in terms of finite algebras of sections over finite posets.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4, 106–112 (2000)
Davey, B.A., Priestley, H.: Introduction to Lattices and Order. Cambridge Mathematical Texbooks. Cambridge University Press, Cambridge (1991)
Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets ans Systems 124, 271–288 (2001)
Esteva, F., Godo, L., Hájek, P., Montagna, F.: Hoops and fuzzy logic. Journal of Logic and Computation 13, 531–555 (2003)
Fodor, J.: Nilpotent minimum and related connectives for fuzzy logic. In: Proc. FUZZ-IEEE 1995, pp. 2077–2082 (1995)
Gerla, B.: A characterization of Gödel functions. Soft Computing 4, 206–209 (2000)
Gödel, K.: Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse 69, 65–66 (1932)
Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete mathematics: a foundation for computer science, 2nd edn. Addison-Wesley, Boston (1994)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Horn, A.: Logic with Truth Values in a Linearly Ordered Heyting Algebra. Journal of Symbolic Logic 34, 395–408 (1969)
Horn, A.: Free L-Algebras. Journal of Symbolic Logic 34, 475–480 (1969)
McNaughton, R.: A theorem about infinite-valued sentential logic. Journal of Symbolic Logic 16, 1–13 (1951)
Mundici, D.: Satisfiability in many-valued sentential logic is NP-complete. Theoretical Computer Science 52, 145–153 (1987)
Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences. Published electronically (2004), http://www.research.att.com/~njas/sequences
Wang, S.M., Wang, B.S., Pei, D.W.: A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets and Systems 149, 297–307 (2005)
Wang, S.M., Wang, B.S., Wang, X.Y.: A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets and Systems 145, 253–266 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aguzzoli, S., Gerla, B., Manara, C. (2005). Poset Representation for Gödel and Nilpotent Minimum Logics. In: Godo, L. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2005. Lecture Notes in Computer Science(), vol 3571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11518655_56
Download citation
DOI: https://doi.org/10.1007/11518655_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27326-4
Online ISBN: 978-3-540-31888-0
eBook Packages: Computer ScienceComputer Science (R0)