Fibred Tableaux for multi-implication logics

D'AGOSTINO, Marcello; GABBAY D. M.

oai:iris.unife.it:11392/1193333

Fibred Tableaux for multi-implication logics

Authors: Marcello D'AGOSTINO
GABBAY D. M.
Publication date: 1 January 1996
Publisher: place:Berlin
Doi

Abstract

We investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method

info:eu-repo/semantics/conferenceObject

Similar works

Full text

Archivio istituzionale della ricerca - Università di Ferrara

oai:iris.unife.it:11392/119333...

Last time updated on 12/11/2016

This paper was published in Archivio istituzionale della ricerca - Università di Ferrara.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.