Cut Elimination for S4C: A Case Study

Cut Elimination for S4C: A Case Study

S4C is a logic of continuous transformations of a topological space. Cut elimination for it requires new kind of rules and new kinds of reductions.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Studia logica 2006-02, Vol.82 (1), p.121-132
1. Verfasser: Mints, Grigori
Format: Artikel
Sprache:eng
Schlagworte:
Boolean data
Cut elimination theorem
Decidability
Inductive reasoning
Logical antecedents
Logical proofs
Rules of inference
Sequents
Topological logic
Topological spaces
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:S4C is a logic of continuous transformations of a topological space. Cut elimination for it requires new kind of rules and new kinds of reductions.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-006-6608-1