Sciweavers

413 search results - page 5 / 83
» On Product Logic with Truth-constants
Sort
View
LOGCOM
2006
54views more  LOGCOM 2006»
14 years 11 months ago
On Product Logic with Truth-constants
Petr Savický, Roberto Cignoli, Francesc Est...
FSS
2007
54views more  FSS 2007»
14 years 11 months ago
Product logic and probabilistic Ulam games
Franco Montagna, Claudio Marini, Giulia Simi
DLOG
2010
14 years 9 months ago
Logic for Modeling Product Structure
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
Henson Graves