A. Sernadas (CLC

Identifiers

No identifiers captured yet.

Papers (1)

1. Weakly complete axiomatization of exogenous quantum propositional logic math.LO · 2005 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Dep Math 1 shared papers
• IST 1 shared papers
• Lisbon 1 shared papers
• P. Mateus 1 shared papers
• Portugal) 1 shared papers