483 search results - page 50 / 97 » Intuitionistic hybrid logic |
IGPL
2000
13 years 7 months ago
2000
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
JAR
2011
13 years 2 months ago
2011
FM
2001
Springer
14 years 5 days ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
JIIS
2008
13 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...