Glivenko theorems and negative translations in substructural predicate logics
Work
Year: 2012
Type: article
Source: Archive for Mathematical Logic
Authors Hadi Farahani, Hiroakira Ono
Cites: 16
Cited by: 5
Related to: 10
FWCI: 0.288
Citation percentile (by year/subfield): 64.1
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed