1994/01/01 by Hirokazu Nishimura · 2 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Calculus (dental) #Classical logic #Completeness (order theory) #Discrete mathematics #Duality (order theory) #Gödel's completeness theorem #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical analysis #Mathematical proof #Mathematics #Physics #Pure mathematics #Quantum #Quantum computer #Quantum logic #Quantum mechanics
paper · doi:10.1007/bf00671616
crossref issued 1994/01/01 · crossref published 1994/01/01 · crossref published-print 1994/01/01 · openalex publication_date 1994/01/01 · crossref created 2004/11/28 · crossref deposited 2019/04/05 · openalex created_date 2025/10/10 · crossref indexed 2026/07/16 · openalex updated_date 2026/07/23