A way to interpret Łukasiewicz logic and basic logic
From MaRDI portal
Publication:1005968
DOI10.1007/s11225-008-9159-9zbMath1216.03044MaRDI QIDQ1005968
Publication date: 17 March 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-008-9159-9
Boolean algebra; Heyting algebra; MV-algebra; Basic Logic; Łukasiewicz logic; BL-algebra; a-equivalence relation
03B52: Fuzzy logic; logic of vagueness
03G25: Other algebras related to logic
06D35: MV-algebras
03B50: Many-valued logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A non-classical logic for physics
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- Fuzzy logic as a logic of the expressive strength of information
- Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
- Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic