A temporal semantics for nilpotent minimum logic

DOI10.1016/J.IJAR.2013.10.007MaRDI QIDQ2353684zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Matteo Bianchi

Publication date 16 July 2015

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

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

zbMATH Keywords

rough setsmany-valued logicsnilpotent minimum logictemporal semanticspre-rough algebrasŁukasiewicz logic

Mathematics Subject Classification ID

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

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]).

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)

Cites work

• scientific article; zbMATH DE number 994054 (Why is no real title available?)
• scientific article; zbMATH DE number 3887682 (Why is no real title available?)
• scientific article; zbMATH DE number 5295430 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 1136650 (Why is no real title available?)
• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• scientific article; zbMATH DE number 3269848 (Why is no real title available?)
• scientific article; zbMATH DE number 2229435 (Why is no real title available?)
• A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
• A propositional calculus with denumerable matrix
• A temporal semantics for basic logic
• Computational complexities of axiomatic extensions of monoidal t-norm based logic
• Constructive logic with strong negation as a substructural logic
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Free nilpotent minimum algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On expansions of WNM t-norm based logics with truth-constants
• Probability measures in the logic of nilpotent minimum
• Rough sets
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Triangular norms

Cited in

(6)

• Algebraic structures related to nilpotent minimum algebras and rough sets
• A temporal semantics for basic logic
• Termination of derivations for minimal tense logic
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• 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)