Density elimination
- 1 August 2008
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 403 (2-3) , 328-346
- https://doi.org/10.1016/j.tcs.2008.05.019
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Substructural fuzzy logicsThe Journal of Symbolic Logic, 2007
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICESInternational Journal of Algebra and Computation, 2002
- On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm LogicStudia Logica, 2002
- Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀Studia Logica, 2002
- A Proof of Standard Completeness for Esteva and Godo's Logic MTLStudia Logica, 2002
- Monoidal t-norm based logictowards a logic for left-continuous t-normsFuzzy Sets and Systems, 2001
- Hypersequents, logical consequence and intermediate logics for concurrencyAnnals of Mathematics and Artificial Intelligence, 1991
- A constructive analysis of RMThe Journal of Symbolic Logic, 1987
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryThe Journal of Symbolic Logic, 1984
- Logic with truth values in A linearly ordered heyting algebraThe Journal of Symbolic Logic, 1969