"Kripke-style Semantics of Orthomodular Logics."

Yutaka Miyazaki (2001)

Details and statistics

DOI: 10.1002/1521-3870(200108)47:3<341::AID-MALQ341>3.0.CO;2-4

access: closed

type: Journal Article

metadata version: 2017-05-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics