DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» System L
System L
Ecumenical Modal Logic EK
Deductive Systems in Traditional and Modern Logic
The Deduction Theorem (Before and After Herbrand)
The Proscriptive Principle and Logics of Analytic Implication
Proofs As Cryptography: a New Interpretation of the Curry-Howard Isomorphism for Software Certificates Amrit Kumar, Pierre-Alain Fouque, Thomas Genet, Mehdi Tibouchi
Double-Negation Elimination in Some Propositional Logics
A Formal System: Rigorous Constructions of Computer Models Arxiv:1510.04469V3 [Cs.LO] 13 Apr 2017 G
FULLTEXT01.Pdf
Top View