Classical Harmony and Separability
Work
Year: 2018
Type: article
Abstract: According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, har... more
Source: Erkenntnis
Author Julien Murzi
Institution University of Salzburg
Cites: 49
Cited by: 12
Related to: 10
FWCI: 0.482
Citation percentile (by year/subfield): 80.68
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $2,780
Funder Austrian Science Fund
Grant ID P2971-G24