Many-valued computational logics

DOI10.1007/BF00274067zbMATH Open0698.03008OpenAlexW1841408446MaRDI QIDQ912083

Zbigniew Stachniak

Publication date: 1989

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00274067

zbMATH Keywords

computational logiccomputational semanticsdecidability of propositional logics defined by finite generalized matricesfinitely-valued logicsuniform truth-table theoremhood verification method

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical matrices and non-structural consequence operators
• Two theorems on many-valued logics
• Matrix approach in methodology of sentential calculi
• Note on Structural Logics

Related Items (9)

Unnamed Item ⋮ Many-valued logic and mixed integer programming ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Extending the reach of SAT with many-valued logics ⋮ Many-valued logics ⋮ Multi-valued logic in graph transformation theory and self-adaptive systems ⋮ Calculi for many-valued logics ⋮ Unnamed Item ⋮ Unnamed Item

Recommendations

• Calculi for many-valued logics 👍 👎
• Many-valued logics 👍 👎
• Many-valued logics 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Many-valued computational logics