On the nonaxiomatizability of some logics by finitely many schemas.
Work
Year: 1986
Type: article
Abstract: On demontre la non-axiomatisabilite de quelques logiques par des schemas de multiplicite finie
Authors Saharon Shelah, Charles Steinhorn
Institution ISI Foundation
Cites: 7
Cited by: 5
Related to: 10
FWCI: 0.92
Citation percentile (by year/subfield): 59.31
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze