A way to interpret Łukasiewicz logic and basic logic

DOI10.1007/S11225-008-9159-9zbMATH Open1216.03044OpenAlexW1967037961MaRDI QIDQ1005968FDOQ1005968

Thomas Vetterlein

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

zbMATH Keywords

Boolean algebraBL-algebraMV-algebraHeyting algebraa-equivalence relationBasic LogicŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• A treatise on many-valued logics
• A non-classical logic for physics
• Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic
• Fuzzy logic as a logic of the expressive strength of information
• Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras

Cited In (2)

• Fuzzy logics from substructural perspective
• Distinguishing standard SBL-algebras with involutive negations by propositional formulas

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Bases of Admissible Rules of Lukasiewicz Logic 👍 👎
• Interpretation of De Finetti coherence criterion in Łukasiewicz logic 👍 👎
• Consequence and interpolation in Łukasiewicz logic 👍 👎
• Łukasiewicz and His Followers in Many-Valued Logic 👍 👎
• Łukasiewicz Logic: An Introduction 👍 👎
• Łukasiewicz Logic: From Proof Systems To Logic Programming 👍 👎

This page was built for publication: A way to interpret Łukasiewicz logic and basic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1005968)