Issues

• lack of syntax for specifying intended discourse presupposition

  gruninger/Common-Logic#55 · Filter by author greenTara opened on Jul 21, 2015
  1

• semantics of equations

  gruninger/Common-Logic#54 · Filter by author fabianneuhaus opened on Jul 20, 2015

• core interpretations and (discourse) presuppositions may lead to empty set of core interpretations

  gruninger/Common-Logic#53 · Filter by author fabianneuhaus opened on Jul 20, 2015

• Functional syntax of qualified statements should not use lamda, but term.

  gruninger/Common-Logic#51 · Filter by author fabianneuhaus opened on Jul 20, 2015

• Signature morphisms

  gruninger/Common-Logic#50 · Filter by author fabianneuhaus opened on Jul 20, 2015

• Importations between dialects

  gruninger/Common-Logic#49 · Filter by author fabianneuhaus opened on Jul 20, 2015
  4

• Biconditional vs. equivalence

  gruninger/Common-Logic#48 · Filter by author fabianneuhaus opened on Jan 15, 2014

• definition of Variant in WD

  gruninger/Common-Logic#47 · Filter by author fabianneuhaus opened on Jan 14, 2014
  5

• Text to be deleted in WD 6.1.4

  gruninger/Common-Logic#46 · Filter by author fabianneuhaus opened on Jan 14, 2014

• Inconsistency between Definitions 3.12 and 3.22 for "individual" and "term"

  gruninger/Common-Logic#45 · Filter by author greenTara opened on May 17, 2013
  2

• Named sentences

  gruninger/Common-Logic#44 · Filter by author tillmo opened on Jan 21, 2013
  24

• Specify filename extensions for the different CL dialects

  gruninger/Common-Logic#43 · Filter by author clange opened on Jan 16, 2013

• Restriction of Interpretation Clarification

  clarification
  gruninger/Common-Logic#42 · Filter by author greenTara opened on Dec 4, 2012

• Network identifiers of CL documents (and of texts inside them)

  enhancementminor
  gruninger/Common-Logic#41 · Filter by author clange opened on Nov 19, 2012
  4

• Introduce top-level notion of "CL document" (parent of "CL text")

  enhancementminor
  gruninger/Common-Logic#40 · Filter by author clange opened on Nov 19, 2012
  2

• Specify media types for the different CL dialects

  enhancement
  gruninger/Common-Logic#38 · Filter by author clange opened on Oct 24, 2012
  4

• CL Identifiers

  bugdeferred
  gruninger/Common-Logic#37 · Filter by author greenTara opened on Oct 23, 2012
  2

• Datatypes

  enhancement
  gruninger/Common-Logic#36 · Filter by author greenTara opened on Oct 23, 2012
  

• Circular Imports

  bug
  gruninger/Common-Logic#35 · Filter by author greenTara opened on Oct 23, 2012
  12

  

• Query language for Common Logic

  deferredenhancement
  gruninger/Common-Logic#34 · Filter by author greenTara opened on Oct 23, 2012

• Structural Descriptive Names

  deferredenhancement
  gruninger/Common-Logic#33 · Filter by author greenTara opened on Oct 23, 2012

• More Logical Connectives

  deferredenhancement
  gruninger/Common-Logic#32 · Filter by author greenTara opened on Oct 23, 2012

• New concrete dialects

  deferredenhancement
  gruninger/Common-Logic#31 · Filter by author greenTara opened on Oct 23, 2012

• Proof Theory

  deferredenhancementminor
  gruninger/Common-Logic#30 · Filter by author greenTara opened on Oct 23, 2012

• Structural Axioms

  deferredenhancementminor
  gruninger/Common-Logic#29 · Filter by author greenTara opened on Oct 23, 2012