scientific article; zbMATH DE number 6316277

MaRDI QIDQ5169616zbMATH OpenFDO

Authors Grzegorz Malinowski

Publication date 11 July 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/43_12_4.pdf

zbMATH Keywords

consequence operationinferential many-valuednessinferential valuesKleene matrixlogical three-valuednesslogical two-valuednessmany-valuednessnon-Fregean logicstructuralitySuszko's Thesistautologythree-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Kleene's Logic, Generalized
• Kleene algebra and modal logic
• A kripke-kleene semantics for logic programs*
• scientific article; zbMATH DE number 856945
• Automated Reasoning in Kleene Algebra
• Programming Languages and Systems
• scientific article; zbMATH DE number 4043305
• Proof-theoretic semantics and inquisitive logic
• scientific article; zbMATH DE number 4195154
• scientific article; zbMATH DE number 7585721

Cited in

(13)

• Missing values and dragonfly operations in fuzzy relational compositions
• A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
• Empty logics
• What is a paraconsistent logic?
• Kleene's Logic, Generalized
• scientific article; zbMATH DE number 605246 (Why is no real title available?)
• scientific article; zbMATH DE number 4120145 (Why is no real title available?)
• Notes on hazard-free circuits
• Disjoint logics
• A fully classical truth theory characterized by substructural means
• A family of metainferential logics
• A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach
• Suprastructural logics

This page was built for publication:

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