Commodious Axiomatization of Quantifiers in Multiple-Valued Logic
Year: 1998
Type: article
Source: Studia Logica
Author: Reiner Hähnle
Institution: Karlsruhe Institute of Technology
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1556184062