A temporal semantics for nilpotent minimum logic
From MaRDI portal
Publication:2353684
DOI10.1016/j.ijar.2013.10.007zbMath1316.03010arXiv1310.5916OpenAlexW2022561355WikidataQ59321726 ScholiaQ59321726MaRDI QIDQ2353684
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
rough setstemporal semanticsmany-valued logicsŁukasiewicz logicnilpotent minimum logicpre-rough algebras
Related Items (4)
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 ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
- Probability measures in the logic of nilpotent minimum
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- A temporal semantics for basic logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- On expansions of WNM t-norm based logics with truth-constants
- 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
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- A propositional calculus with denumerable matrix
- Constructive Logic with Strong Negation as a Substructural Logic
- Rough sets
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Free nilpotent minimum algebras
This page was built for publication: A temporal semantics for nilpotent minimum logic
