A temporal semantics for nilpotent minimum logic
From MaRDI portal
Publication:2353684
DOI10.1016/J.IJAR.2013.10.007zbMATH Open1316.03010DBLPjournals/ijar/Bianchi14arXiv1310.5916OpenAlexW2022561355WikidataQ59321726 ScholiaQ59321726MaRDI QIDQ2353684FDOQ2353684
Authors: 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
rough setsmany-valued logicsnilpotent minimum logictemporal semanticspre-rough algebrasŁukasiewicz logic
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 (6)
- 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
- 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)
