BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
The faithfulness of Fat: a proof-theoretic proof

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
 Gilda Ferreira (Author)
LASIGE
 CMAFcIO
Date of Publication
2015

Where published
STUDIA LOGICA

Publication Identifiers
ISSN - 0039-3215

Volume
103
Number
6

Starting page
1303
Last page
1311


Export

APA
Fernando Ferreira, Gilda Ferreira, (2015). The faithfulness of Fat: a proof-theoretic proof. STUDIA LOGICA, 103, 1303-1311. ISSN 0039-3215. eISSN .

IEEE
Fernando Ferreira, Gilda Ferreira, "The faithfulness of Fat: a proof-theoretic proof" in STUDIA LOGICA, vol. 103, pp. 1303-1311, 2015.

BIBTEX
@article{22977, author = {Fernando Ferreira and Gilda Ferreira}, title = {The faithfulness of Fat: a proof-theoretic proof}, journal = {STUDIA LOGICA}, year = 2015, pages = {1303-1311}, volume = 103 }