Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic

DOI10.1007/978-3-540-75144-1_18zbMath1226.03035OpenAlexW1523776829MaRDI QIDQ3613049

I. D. Zaslavskiĭ

Publication date: 11 March 2009

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75144-1_18

zbMATH Keywords

Luk-complete theoryLuk-consistent theoryLuk-decidable theoryLuk-theorythree-valued predicate

Mathematics Subject Classification ID

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

This page was built for publication: Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic