On a Computability-Theoretic Approach to Boolean-Valued Models

Lecture notes in computer science 2026

View at publisher

Authors: N. A. Bazhenov, Manat Mustafa

DOI: 10.1007/978-981-95-4839-2_7

Cited by: 1

References: 17

Fields of Study & Subjects

Computability Logic AI Algorithms programming and type systems Reasoning and Knowledge

References 17