Cumulative Higher-Order Logic as a Foundation for Set Theory
W. Degen, J. Johannsen
págs. 147-170
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
F. Montagna, G. M. Pinna, E. B. Tiezzi
págs. 171-182
Fixed-points of Set-continuous Operators
O. Esser, R. Hinnion, D. Dzierzgowski
págs. 183-194
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
M. Aghaei, M. Ardeshir
págs. 195-206
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC
V. V. Rybakov, M. Terziler, V. Remazki
págs. 207-218
Paracompactness of Metric Spaces and the Axiom of Multiple Choice
Paul Howard, K. Keremedis, J. E. Rubin
págs. 219-232
págs. 233-240
págs. 241-248
págs. 249-256
Prototype Proofs in Type Theory
G. Longo
págs. 257-266
Logics of Complementarity in Information Systems
I. Duntsch, E. Orlowska
págs. 267-288
© 2008-2024 Fundación Dialnet · Todos los derechos reservados