Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Formalized Mathematics
Volumen 22 (2014): Edición 2 (June 2014)
Acceso abierto
Pseudo-Canonical Formulae are Classical
Marco B. Caminati
Marco B. Caminati
y
Artur Korniłowicz
Artur Korniłowicz
| 30 jun 2014
Formalized Mathematics
Volumen 22 (2014): Edición 2 (June 2014)
Special Issue: 25 years of the Mizar Mathematical Library
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
30 jun 2014
Páginas:
99 - 103
Recibido:
25 may 2014
DOI:
https://doi.org/10.2478/forma-2014-0011
Palabras clave
Hilbert positive propositional calculus
,
classical logic
,
canonical
,
formulae
© 2014 Marco B. Caminati and Artur Korniłowicz
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)
Marco B. Caminati
School of Computer Science University of Birmingham Birmingham, B15 2TT United Kingdom
Artur Korniłowicz
Institute of Informatics University of Białystok Sosnowa 64, 15-887 Białystok Poland