Heterogeneous fibring of deductive systems via abstract proof systems

Heterogeneous fibring of deductive systems via abstract proof systems (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Luís Cruz-filipe , Amílcar Sernadas , Cristina Sernadas

Citations:

3 - 1 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Heterogeneous fibring of deductive systems via abstract proof systems	SVM HeaderParse 0.2
AUTHOR NAME	Luís Cruz-filipe	SVM HeaderParse 0.2
AUTHOR AFFIL	SQIG- IT and CLC- IST, Portugal	SVM HeaderParse 0.2
AUTHOR NAME	Amílcar Sernadas	SVM HeaderParse 0.2
AUTHOR AFFIL	SQIG- IT and CLC- IST, Portugal	SVM HeaderParse 0.2
AUTHOR NAME	Cristina Sernadas	SVM HeaderParse 0.2
AUTHOR AFFIL	SQIG- IT and CLC- IST, Portugal	SVM HeaderParse 0.2
ABSTRACT	Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in the same way (e.g via Hilbert calculi). Heterogeneous fibring, allowing the original logics to have different presentations (e.g. one presented by a Hilbert calculus and the other by a sequent calculus), has been an open problem. Herein, consequence systems are shown to be a good solution for heterogeneous fibring when one of the logics is presented in a semantic way and the other by a calculus and also a solution for the heterogeneous fibring of calculi. The new notion of abstract proof system is shown to provide a better solution to heterogeneous fibring of calculi namely because derivations in the fibring keep the constructive nature of derivations in the original logics. Preservation of compactness and semi-decidability is investigated.	SVM HeaderParse 0.2
YEAR	2005	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Technical report, CLC	INFERENCE
CITATIONS	27 found	ParsCit 1.0