955 resultados para Mathematical logic

TR-2005002: The Basic Intuitionistic Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2005004: Basic Systems of Epistemic Logic with Justification

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2005011: Logic of Proofs for Bounded Arithmetic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2005013: Typing in Reflective Combinatory Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2006003: Explicit Proofs in Formal Provability Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007012: The Relative Expressivity of Public and Private Communication in BMS Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007016: Symmetric Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007017: Linear Logic with Explicit Resources

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007019: Justification Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007025: Public Communication in Justification Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2008010: The Logic of Justification

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2008014: Why Do We Need Justification Logic?

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2009002: Cartesian Closed Categories for the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2009003: On Proof Realization on Modal Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2010014: A Complexity Question in Justification Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais