A temporal semantics for nilpotent minimum logic

DOI10.1016/J.IJAR.2013.10.007zbMATH Open1316.03010DBLPjournals/ijar/Bianchi14arXiv1310.5916OpenAlexW2022561355WikidataQ59321726 ScholiaQ59321726MaRDI QIDQ2353684FDOQ2353684

Matteo Bianchi

Publication date: 16 July 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Abstract: In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {L}ukasiewicz logic {L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic of every instant is given by {L}3: a completeness theorem will be shown. This is the prosecution of the work initiated in [AGM08] and [ABM09], in which the authors construct a temporal semantics for the many-valued logics of G"odel ([G"od32], [Dum59]) and Basic Logic ([H'aj98]).

Full work available at URL: https://arxiv.org/abs/1310.5916

Recommendations

• A temporal semantics for basic logic
• Rough sets and 3-valued logics
• scientific article; zbMATH DE number 1136650
• scientific article; zbMATH DE number 2068681
• Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)

zbMATH Keywords

rough setsmany-valued logics[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic]nilpotent minimum logictemporal semanticspre-rough algebras

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Many-valued logic (03B50)

Cites Work

• Rough sets
• Triangular norms
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• A temporal semantics for basic logic
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Constructive Logic with Strong Negation as a Substructural Logic
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Free nilpotent minimum algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probability measures in the logic of nilpotent minimum
• Title not available (Why is that?)
• On expansions of WNM t-norm based logics with truth-constants
• Title not available (Why is that?)
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Title not available (Why is that?)
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Computational complexities of axiomatic extensions of monoidal t-norm based logic

Cited In (5)

• Termination of derivations for minimal tense logic
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• Algebraic structures related to nilpotent minimum algebras and rough sets1
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics

This page was built for publication: A temporal semantics for nilpotent minimum logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2353684)