Skip to content

Issues: gruninger/Common-Logic

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

47 Open 8 Closed
47 Open 8 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

lack of syntax for specifying intended discourse presupposition
#55 opened Jul 21, 2015 by greenTara
1
semantics of equations
#54 opened Jul 20, 2015 by fabianneuhaus
core interpretations and (discourse) presuppositions may lead to empty set of core interpretations
#53 opened Jul 20, 2015 by fabianneuhaus
Functional syntax of qualified statements should not use lamda, but term.
#51 opened Jul 20, 2015 by fabianneuhaus
Signature morphisms
#50 opened Jul 20, 2015 by fabianneuhaus
Importations between dialects
#49 opened Jul 20, 2015 by fabianneuhaus
4
Biconditional vs. equivalence
#48 opened Jan 15, 2014 by fabianneuhaus
definition of Variant in WD
#47 opened Jan 14, 2014 by fabianneuhaus
5
Text to be deleted in WD 6.1.4
#46 opened Jan 14, 2014 by fabianneuhaus
Inconsistency between Definitions 3.12 and 3.22 for "individual" and "term"
#45 opened May 17, 2013 by greenTara
2
Named sentences
#44 opened Jan 21, 2013 by tillmo
24
Specify filename extensions for the different CL dialects
#43 opened Jan 16, 2013 by clange
Restriction of Interpretation Clarification clarification
#42 opened Dec 4, 2012 by greenTara
Network identifiers of CL documents (and of texts inside them) enhancement minor
#41 opened Nov 19, 2012 by clange
4
Introduce top-level notion of "CL document" (parent of "CL text") enhancement minor
#40 opened Nov 19, 2012 by clange
2
Specify media types for the different CL dialects enhancement
#38 opened Oct 24, 2012 by clange
4
CL Identifiers bug deferred
#37 opened Oct 23, 2012 by greenTara
2
Datatypes enhancement
#36 opened Oct 23, 2012 by greenTara
@pjhayes
Circular Imports bug
#35 opened Oct 23, 2012 by greenTara
@gruninger
12
Query language for Common Logic deferred enhancement
#34 opened Oct 23, 2012 by greenTara
Structural Descriptive Names deferred enhancement
#33 opened Oct 23, 2012 by greenTara
More Logical Connectives deferred enhancement
#32 opened Oct 23, 2012 by greenTara
New concrete dialects deferred enhancement
#31 opened Oct 23, 2012 by greenTara
Proof Theory deferred enhancement minor
#30 opened Oct 23, 2012 by greenTara
Structural Axioms deferred enhancement minor
#29 opened Oct 23, 2012 by greenTara
ProTip! Updated in the last three days: updated:>2025-02-01.