Title |
Authors |
Download |
On applying the λse style of unification for simply-typed higher order unification |
Ayala-Rincón, Mauricio
Kamareddine, Fairouz |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |
A note on the Hilbert algebras with infimum |
Figallo, Aldo V.
Ramón, Guillermina Z.
Saad, Susana |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |
Ribbon braided multiplicative linear logic |
Fleury, Arnaud |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |
Mathematical fuzzy logic—state of art 2001 |
Hájek, Petr |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |
On embedding models of arithmetic into reduced powers |
Kennedy, Juliette |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |
Automata on guarded strings and applications |
Kozen, Dexter |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |
Towards a model of heterogeneous commonsense reasoning |
Martinez, Maricarmen |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |
Pseudo-finite model theory |
Väänänen, Jouko |
![](https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2021/12/pdf.jpg) |