A kripke semantics for the logic of gelfand quantales Journal Articles

authors

• Allwein, Gerard
• MacCaull, Wendy

status

• published 

publication date

• 2001

has subject area

• 01 Mathematical Sciences (FoR)
• 08 Information and Computing Sciences (FoR)
• 22 Philosophy and Religious Studies (FoR)
• General Mathematics (Science Metrix)

published in

• Studia Logica  Journal

keywords

• 49 Mathematical Sciences
• 4904 Pure Mathematics
• 50 Philosophy and Religious Studies
• 5003 Philosophy

Digital Object Identifier (DOI)

• 10.1023/a:1012495106338

start page

• 173

end page

• 228

volume

• 68

issue

• 2