P. Oliva

Publication Activity (10 Years)

Years Active: 1966-2021
Publications (10 Years): 1

Top Topics

Intuitionistic Logic

Valued Semantics

Proof Procedures

Sound And Complete Axiomatization

Top Venues

Publications

A. Lewis-Smith, P. Oliva, Edmund Robinson
Kripke Semantics for Intuitionistic Łukasiewicz Logic. Stud Logica 109 (2) (2021)
M. Fleck, P. Oliva
Variable Sequentialisierungsstrukturen und deren Hardwareunterstützte Realisierung (Kurzfassung). GI Jahrestagung (1973)
Viktor Kudielka, P. Oliva
Complete Sets of Functions of Two and Three Binary Variables. IEEE Trans. Electron. Comput. 15 (6) (1966)