OpenLogicProject OpenLogic issues

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.02k stars 233 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

New section of the Relations chapter on trees, just after graphs.

#376 beastaugh opened 1 week ago
0
Fix a couple of ref typos in the incompleteness part

#375 beastaugh opened 1 week ago
0
Typo

#374 qucchia closed 2 weeks ago
1
Cantor's Theorem

#373 knaeve closed 2 weeks ago
1
Fix a typo, make usage of `!!a{formula}` more consistent, tweak presentation of formation sequences

#372 beastaugh closed 2 months ago
0
Confusing paragraph in SLC section 15.9

#371 marethyu closed 2 months ago
4
Minor typesetting issue

#370 marethyu closed 2 months ago
4
Possible typo in example 14.14

#369 marethyu closed 2 months ago
0
Redundant i in definition 14.10?

#368 marethyu closed 2 months ago
0
Minor error in example 12.25

#367 marethyu closed 2 months ago
2
Suggested improvements for the proof of Lindenbaum's lemma

#366 marethyu closed 2 months ago
3
Fix TRules getting swapped

#365 Pi-Cla closed 2 months ago
0
Typo in Lindenbaum's lemma proof

#364 marethyu closed 4 months ago
1
Modal logic fixups

#363 davidvandebunte closed 4 months ago
0
Can I contribute proofs to theorems whose proof left for exercise?

#362 marethyu opened 4 months ago
1
Typo in prop. 10.20 proof

#361 marethyu closed 4 months ago
0
Fixed typo in important-sets.tex

#360 uguryavuz closed 5 months ago
1
Render `0` in math mode in `unique-readability.tex`

#359 Friendseeker closed 5 months ago
1
Fix spacing in `main-operator.tex`

#358 Friendseeker closed 5 months ago
1
Typo

#357 anamud closed 5 months ago
1
Missing parenthesis on pg. 112

#356 marethyu closed 5 months ago
1
Spell check and topological semantics fixups

#355 davidvandebunte closed 5 months ago
0
Change N to Z+ in definition of congruence

#354 automaton777 closed 5 months ago
1
Fix intuitionistic equivalent of LEM

#353 PeepNSheep closed 6 months ago
3
Use of @xnext doesn't match its definition

#352 davidvandebunte closed 6 months ago
2
Update semantic-notions.tex to add missing parenthesis

#351 chuckhzhao closed 6 months ago
1
Fix typos

#350 pitmonticone closed 6 months ago
3
Fix some variable name mistakes in the PL formation sequences material

#349 beastaugh closed 6 months ago
0
Remove division symbol from infinitesimals example.

#348 beastaugh closed 7 months ago
0
Replace 'term' with 'closed term' at various points in the quotient model construction

#347 beastaugh closed 7 months ago
1
compactness example

#346 greleigh closed 7 months ago
7
Replace hyphens with n-dashes when joining two names.

#345 beastaugh closed 7 months ago
1
Example 1.4

#344 aaronstevenson408 closed 7 months ago
1
Definition 1.1 (Extensionality). If A and B are sets, then A = B iff every element of A is also an element of B, and vice versa.

#343 aaronstevenson408 closed 7 months ago
2
Frege

#342 rikiheck closed 6 months ago
4
[Typo] sets: important-sets: rationals are indeed a subset of real

#341 darosior closed 9 months ago
1
Theorem 7.13 references phi_i without ever defining i.

#340 edwin2525 closed 9 months ago
1
Russel's Paradox typo

#339 HermesMarc opened 9 months ago
1
Fix typos

#338 pitmonticone closed 10 months ago
1
Typos

#337 greleigh closed 10 months ago
1
A typo in the "method" chapter

#336 Heein-Park closed 9 months ago
1
Fixed "total order" definitions; fixed several typos.

#335 gabelthompson closed 1 year ago
1
Multiple incompatible definitions for "total order"

#334 gabelthompson closed 1 year ago
1
Fix a few typos

#333 pitmonticone closed 1 year ago
2
Fix typos

#332 vladh closed 1 year ago
1
Format set axioms

#331 savq closed 9 months ago
1
Fix small typo

#330 abrahimladha closed 1 year ago
0
Fix typo

#329 dawei-wang closed 1 year ago
0
Typo in "recursive functions"

#328 allen-liaoo closed 1 year ago
0
Small typo (already used variable name) in Functions Representable in Q are Computable

#327 feffemannen closed 1 year ago
0