Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity
Work
Year: 2016
Type: article
Author Bartosz Więckowski
Institution Goethe University Frankfurt
Cites: 42
Cited by: 7
Related to: 10
FWCI: 0.226
Citation percentile (by year/subfield): 64.43
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Climate action
Open Access status: closed
Grant ID WI 3456/2-1