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
Ferreira, F. (Author)
Dep. Matemática
CMAF - Centro de Matemática e Aplicações Fundamentais 
Ferreira, G. (Author)

Scope
International

Refereeing
Yes

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
Ferreira, F., Ferreira, G., (2015). The faithfulness of Fat: a proof-theoretic proof. STUDIA LOGICA, 103, 1303-1311. ISSN 0039-3215. eISSN .

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

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