A Decision Procedure for Von Wrights OBS-Calculus

Research output: Contribution to journal › Article › Scientific › peer-review

@article{0177696d023b4aab9dce8b46684b451c,

title = "A Decision Procedure for Von Wrights OBS-Calculus",

author = "F.A.I. Buekens",

note = "Pagination: 12",

year = "1995",

language = "English",

volume = "149",

pages = "43--55",

journal = "Logique et Analyse",

issn = "0024-5836",

publisher = "CENTRE NATIONAL BELGE RECHERCHES LOGIQUE",

number = "38",

}

Projects

Project: Research project