A way to interpret Łukasiewicz logic and basic logic
From MaRDI portal
Publication:1005968
DOI10.1007/S11225-008-9159-9zbMath1216.03044OpenAlexW1967037961MaRDI 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 algebraHeyting algebraMV-algebraBasic LogicŁukasiewicz logicBL-algebraa-equivalence relation
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50)
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
This page was built for publication: A way to interpret Łukasiewicz logic and basic logic