Proof of axiomatizability of full many-valued systems of calculus of propositions
Year: 1971
Type: article
Source: Studia Logica
DOI: 10.1007/bf02121872
Author: Jerzy Słupecki
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2058748845