Search

Now showing items 1-10 of 10

Many-valued Logics And Translations

D'Ottaviano I.M.L.; Feitosa H.D.A. (, 1999)

Conservative Translations

Feitosa H.A.; D'Ottaviano I.M.L. (, 2001)

Combining Valuations With Society Semantics

Fernandez V.L.; Coniglio M.E. (, 2003)

Polynomizing: Logic Inference In Polynomial Format And The Legacy Of Boole

Carnielli W. (, 2007)

On Some Extensions Of Intuitionistic Logic

Biraben R.C.E. (, 2012)

New Dimensions On Translations Between Logics

Carnielli W.A.; Coniglio M.E.; D'Ottaviano I.M.L. (, 2009)

On The Way To A Wider Model Theory: Completeness Theorems For First-order Logics Of Formal Inconsistency

Carnielli W.; Coniglio M.E.; Podiacki R.; Rodrigues T. (Cambridge University Press, 2014)

On Negation: Pure Local Rules

Marcos J. (, 2005)

Anti-intuitionism And Paraconsistency

Brunner A.B.; Carnielli W.A. (, 2005)

Non-equilibrium Statistical Mechanics Of Complex Systems: An Overview

Luzzi R.; Vasconcellos A.R.; Ramos J.G. (, 2007)