The faithfulness of atomic polymorphism

It is known that the full intuitionistic propositional calculus can be embedded into the atomic polymorphic system Fat, a calculus with only two connectives: the conditional and the second-order universal quantifier. The embedding uses a translation of formulas due to Prawitz and relies on the so-ca...

Full description

Bibliographic Details
Main Author: Ferreira, Fernando (author)
Other Authors: Ferreira, Gilda (author)
Format: article
Language:eng
Published: 2021
Subjects:
Predicative polymorphism
Faithfulness
Natural deduction
Kripke models
Intuitionistic propositional calculus
Online Access:http://hdl.handle.net/10400.2/10489
Country:Portugal
Oai:oai:repositorioaberto.uab.pt:10400.2/10489

Internet

http://hdl.handle.net/10400.2/10489

Similar Items