Quantcast
The Wayback Machine - https://web.archive.org/web/20160303204555/http://common-logic.1085828.n5.nabble.com/

Common Logic

This forum is an archive for the mailing list cl@philebus.tamu.edu (more options) Messages posted here will be sent to this mailing list.
The Common Logic mailing list is a forum for discussing the language described in ISO 24707
1234 ... 19
Topics (632)
Replies Last Post Views
[Common-Logic] Update README.md (#56) by fabianneuhaus
0
by fabianneuhaus
Domain by Christopher Menzel-2
6
by John F Sowa
Epistemic entrenchment in Annex D by John F Sowa
0
by John F Sowa
Added two more clauses to Section D.1 by John F Sowa
2
by John F Sowa
I am building a CYC-like inference engine for specifically CLIF by Douglas R Miles
3
by Douglas R Miles
name strings by Tara Athan
0
by Tara Athan
name strings by Tara Athan
0
by Tara Athan
I am looking for a Common Logic set of tests (TPTP? HPKB?) by Douglas R Miles
1
by Douglas R Miles
[Common-Logic] Importations between dialects (#49) by fabianneuhaus
4
by Pat Hayes
Agenda for Common Logic F2F Berlin August 5 by Michael Gruninger-2
1
by Tara Athan
Annex D: Hybrid Texts and Dialects by John F Sowa
0
by John F Sowa
chat transcript commonlogic_2015714 by Michael Gruninger-2
0
by Michael Gruninger-2
[Common-Logic] lack of syntax for specifying intended discourse presupposition (#55) by fabianneuhaus
1
by fabianneuhaus
Annex D: Typed, Modal, Description, and Hybrid Logics by John F Sowa
0
by John F Sowa
[Common-Logic] def of core interpretation (#52) by fabianneuhaus
3
by fabianneuhaus
[Common-Logic] semantics of equations (#54) by fabianneuhaus
0
by fabianneuhaus
[Common-Logic] core interpretations and (discourse) presuppositions may lead to empty set of core interpretations (#53) by fabianneuhaus
0
by fabianneuhaus
[Common-Logic] Functional syntax of qualified statements should not use lamda, but term. (#51) by fabianneuhaus
0
by fabianneuhaus
[Common-Logic] Signature morphisms (#50) by fabianneuhaus
0
by fabianneuhaus
Role of the TBox and ABox in Annex D by John F Sowa
0
by John F Sowa
Common Logic conference call - Tuesday 2015.07.14 by Michael Gruninger-2
0
by Michael Gruninger-2
Sorted CL: New version of Annex D by John F Sowa
0
by John F Sowa
Common Logic conference call - Tuesday 2015.07.14 by Michael Gruninger-2
0
by Michael Gruninger-2
Common Logic conference call - Tuesday 2015.04.28 by Michael Gruninger-2
1
by Michael Gruninger-2
What is the CLIF syntax for a schema? by John F Sowa
0
by John F Sowa
ISO comment template by Michael Gruninger-2
0
by Michael Gruninger-2
Annex D: Sorted Dialects of Common Logic by John F Sowa
1
by John F Sowa
Schema by Tara Athan
0
by Tara Athan
Fwd: Re: latest revision of CD2 for ISO 24707 by Tara Athan
0
by Tara Athan
Revised CL diagrams by Tara Athan
0
by Tara Athan
latest revision of CD2 for ISO 24707 by Michael Gruninger-2
0
by Michael Gruninger-2
Common Logic conference call - Tuesday 2015.04.28 by Michael Gruninger-2
0
by Michael Gruninger-2
patterns in CL abstract syntax by Tara Athan
0
by Tara Athan
IRIs for metamodel by Tara Athan
0
by Tara Athan
commonlogic_20150407: Chat Transcript by Michael Gruninger-2
0
by Michael Gruninger-2
1234 ... 19
Morty Proxy This is a proxified and sanitized view of the page, visit original site.