Foundations for the formalization of metamathematics and axiomatizations of consequence theories
Work
Year: 2004
Type: article
Source: Annals of Pure and Applied Logic
Author Urszula Wybraniec-Skardowska
Institution University of Opole
Cites: 15
Cited by: 5
Related to: 10
FWCI:
Citation percentile (by year/subfield): 74.72
Topic: Semantic Web and Ontologies
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed