Truth-value constants in multi-valued logics

DOI10.1007/978-3-031-50981-0_14MaRDI QIDQ6612877zbMATH OpenFDO

Authors Nissim Francez, Michael Kaminski

Publication date 1 October 2024

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-50981-0_14

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites work

• Calculi for many-valued logics
• Multi-valued Calculi for Logics Based on Non-determinism
• On poly-logistic natural-deduction for finitely-valued propositional logics
• Proof-theoretic semantics
• The classical constraint on relevance

This page was built for publication: Truth-value constants in multi-valued logics

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