Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by CECILIA REIS ENGLANDER LUSTOSA
On Some Relations Between Natural Deduction and Sequent Calculus
Related publications
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
Journal of Functional Programming
Software
A Classical Sequent Calculus With Dependent Types
ACM Transactions on Programming Languages and Systems
Software
Natural Deduction Systems for Some Non-Commutative Logics
Logic and Logical Philosophy
Philosophy
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Cut-Free Sequent Calculus for Boolean BI
Special Relations in Automated Deduction
Some Relations Between Price, Expenses and Profit
Izvestia Journal of the Union of Scientists - Varna. Economic Sciences Series
Natural Deduction for Hybrid Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Natural Deduction in a Paracomplete Setting
Logical Investigations
