About some symmetries of negation
Work
Year: 1994
Type: article
Abstract: This paper deals with some structural properties of the sequent calculus and describes strong symmetries between cut-free derivations and derivations, which do not make use of identity axioms. Both o... more
Source: Journal of Symbolic Logic
Authors Brigitte Hösli, Gerhard Jäger
Institutions ETH Zurich, University of Bern
Cites: 10
Cited by: 18
Related to: 10
FWCI: 1.24
Citation percentile (by year/subfield): 83.66
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green