OpenLogicProject/OpenLogic issues and pull requests

#380 - Fixed wrong link for one reference

Pull Request - State: open - Opened by yiannis-had about 1 month ago

#379 - Fix error in problem about duals of characteristic modal logic axioms

Pull Request - State: closed - Opened by eguindon 4 months ago - 1 comment

#378 - A few small fixes for modal logic

Pull Request - State: closed - Opened by eguindon 4 months ago - 1 comment

#377 - Update computable-sets.tex

Pull Request - State: open - Opened by GlassInterface 4 months ago

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

Pull Request - State: open - Opened by beastaugh 5 months ago - 1 comment

#375 - Fix a couple of ref typos in the incompleteness part

Pull Request - State: closed - Opened by beastaugh 5 months ago - 4 comments

#374 - Typo

Pull Request - State: closed - Opened by qucchia 5 months ago - 1 comment

#373 - Cantor's Theorem

Issue - State: closed - Opened by knaeve 5 months ago - 1 comment

#372 - Fix a typo, make usage of `!!a{formula}` more consistent, tweak presentation of formation sequences

Pull Request - State: closed - Opened by beastaugh 7 months ago

#371 - Confusing paragraph in SLC section 15.9

Issue - State: closed - Opened by marethyu 7 months ago - 4 comments

#370 - Minor typesetting issue

Issue - State: closed - Opened by marethyu 7 months ago - 4 comments

#369 - Possible typo in example 14.14

Issue - State: closed - Opened by marethyu 8 months ago

#368 - Redundant i in definition 14.10?

Issue - State: closed - Opened by marethyu 8 months ago

#367 - Minor error in example 12.25

Issue - State: closed - Opened by marethyu 8 months ago - 2 comments

#366 - Suggested improvements for the proof of Lindenbaum's lemma

Issue - State: closed - Opened by marethyu 8 months ago - 3 comments

#365 - Fix TRules getting swapped

Pull Request - State: closed - Opened by Pi-Cla 9 months ago

#364 - Typo in Lindenbaum's lemma proof

Issue - State: closed - Opened by marethyu 9 months ago - 1 comment

#363 - Modal logic fixups

Pull Request - State: closed - Opened by davidvandebunte 9 months ago

#362 - Can I contribute proofs to theorems whose proof left for exercise?

Issue - State: open - Opened by marethyu 9 months ago - 1 comment

#361 - Typo in prop. 10.20 proof

Issue - State: closed - Opened by marethyu 9 months ago

#360 - Fixed typo in important-sets.tex

Pull Request - State: closed - Opened by uguryavuz 9 months ago - 1 comment

#359 - Render `0` in math mode in `unique-readability.tex`

Pull Request - State: closed - Opened by Friendseeker 9 months ago - 1 comment

#358 - Fix spacing in `main-operator.tex`

Pull Request - State: closed - Opened by Friendseeker 9 months ago - 1 comment

#357 - Typo

Issue - State: closed - Opened by anamud 10 months ago - 1 comment

#356 - Missing parenthesis on pg. 112

Issue - State: closed - Opened by marethyu 10 months ago - 1 comment

#355 - Spell check and topological semantics fixups

Pull Request - State: closed - Opened by davidvandebunte 10 months ago

#354 - Change N to Z+ in definition of congruence

Pull Request - State: closed - Opened by automaton777 10 months ago - 1 comment

#353 - Fix intuitionistic equivalent of LEM

Pull Request - State: closed - Opened by PeepNSheep 10 months ago - 3 comments

#352 - Use of @xnext doesn't match its definition

Issue - State: closed - Opened by davidvandebunte 10 months ago - 2 comments

#351 - Update semantic-notions.tex to add missing parenthesis

Pull Request - State: closed - Opened by chuckhzhao 11 months ago - 1 comment

#350 - Fix typos

Pull Request - State: closed - Opened by pitmonticone 11 months ago - 3 comments

#349 - Fix some variable name mistakes in the PL formation sequences material

Pull Request - State: closed - Opened by beastaugh 11 months ago

#348 - Remove division symbol from infinitesimals example.

Pull Request - State: closed - Opened by beastaugh 11 months ago

#347 - Replace 'term' with 'closed term' at various points in the quotient model construction

Pull Request - State: closed - Opened by beastaugh 11 months ago - 1 comment

#346 - compactness example

Pull Request - State: closed - Opened by greleigh 12 months ago - 7 comments

#345 - Replace hyphens with n-dashes when joining two names.

Pull Request - State: closed - Opened by beastaugh 12 months ago - 1 comment

#344 - Example 1.4

Issue - State: closed - Opened by aaronstevenson408 12 months ago - 1 comment

#343 - 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.

Issue - State: closed - Opened by aaronstevenson408 12 months ago - 2 comments

#342 - Frege

Issue - State: closed - Opened by rikiheck about 1 year ago - 4 comments

#341 - [Typo] sets: important-sets: rationals are indeed a subset of real

Pull Request - State: closed - Opened by darosior about 1 year ago - 1 comment

#340 - Theorem 7.13 references phi_i without ever defining i.

Issue - State: closed - Opened by edwin2525 about 1 year ago - 1 comment

#339 - Russel's Paradox typo

Issue - State: open - Opened by HermesMarc about 1 year ago - 1 comment

#338 - Fix typos

Pull Request - State: closed - Opened by pitmonticone about 1 year ago - 1 comment

#338 - Fix typos

Pull Request - State: closed - Opened by pitmonticone about 1 year ago - 1 comment

#337 - Typos

Pull Request - State: closed - Opened by greleigh about 1 year ago - 1 comment

#337 - Typos

Pull Request - State: closed - Opened by greleigh about 1 year ago - 1 comment

#336 - A typo in the "method" chapter

Issue - State: closed - Opened by Heein-Park over 1 year ago - 1 comment

#336 - A typo in the "method" chapter

Issue - State: closed - Opened by Heein-Park over 1 year ago - 1 comment

#335 - Fixed "total order" definitions; fixed several typos.

Pull Request - State: closed - Opened by gabelthompson over 1 year ago - 1 comment

#335 - Fixed "total order" definitions; fixed several typos.

Pull Request - State: closed - Opened by gabelthompson over 1 year ago - 1 comment

#334 - Multiple incompatible definitions for "total order"

Issue - State: closed - Opened by gabelthompson over 1 year ago - 1 comment

#334 - Multiple incompatible definitions for "total order"

Issue - State: closed - Opened by gabelthompson over 1 year ago - 1 comment

#333 - Fix a few typos

Pull Request - State: closed - Opened by pitmonticone over 1 year ago - 2 comments

#333 - Fix a few typos

Pull Request - State: closed - Opened by pitmonticone over 1 year ago - 2 comments

#332 - Fix typos

Pull Request - State: closed - Opened by vladh over 1 year ago - 1 comment

#332 - Fix typos

Pull Request - State: closed - Opened by vladh over 1 year ago - 1 comment

#331 - Format set axioms

Pull Request - State: closed - Opened by savq over 1 year ago - 1 comment

#330 - Fix small typo

Pull Request - State: closed - Opened by abrahimladha over 1 year ago

#330 - Fix small typo

Pull Request - State: closed - Opened by abrahimladha over 1 year ago

#329 - Fix typo

Pull Request - State: closed - Opened by dawei-wang almost 2 years ago

#328 - Typo in "recursive functions"

Issue - State: closed - Opened by allen-liaoo almost 2 years ago

#327 - Small typo (already used variable name) in Functions Representable in Q are Computable

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#327 - Small typo (already used variable name) in Functions Representable in Q are Computable

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#326 - Small typo in Simultation Primitive Recursion

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#326 - Small typo in Simultation Primitive Recursion

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#325 - Small typo in description of canonical model

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#325 - Small typo in description of canonical model

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#324 - Small typo in Lindenbaum's lemma for int logic

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#324 - Small typo in Lindenbaum's lemma for int logic

Pull Request - State: closed - Opened by feffemannen almost 2 years ago

#323 - Slc f21 bis

Pull Request - State: closed - Opened by rzach almost 2 years ago

#323 - Slc f21 bis

Pull Request - State: closed - Opened by rzach almost 2 years ago

#322 - Small typo in section on BHK-interpretation

Pull Request - State: closed - Opened by feffemannen about 2 years ago - 1 comment

#322 - Small typo in section on BHK-interpretation

Pull Request - State: closed - Opened by feffemannen about 2 years ago - 1 comment

#321 - Fix typos in chapter about filtrations in modal logic

Pull Request - State: closed - Opened by Columbus240 about 2 years ago - 1 comment

#321 - Fix typos in chapter about filtrations in modal logic

Pull Request - State: closed - Opened by Columbus240 about 2 years ago - 1 comment

#320 - JFK

Issue - State: closed - Opened by jdonland about 2 years ago - 1 comment

#320 - JFK

Issue - State: closed - Opened by jdonland about 2 years ago - 1 comment

#319 - 'Monotony' versus 'monotonicity'

Issue - State: closed - Opened by beastaugh about 2 years ago - 1 comment

#319 - 'Monotony' versus 'monotonicity'

Issue - State: closed - Opened by beastaugh about 2 years ago - 1 comment

#318 - Fix a few typos in the PL and FOL chapters

Pull Request - State: closed - Opened by beastaugh about 2 years ago

#317 - New material on formation sequences for first-order logic and propositional logic

Pull Request - State: closed - Opened by beastaugh about 2 years ago - 5 comments

#316 - Typo in example 6 in sets-functions-relations/size-of-sets/enumerability.tex

Issue - State: closed - Opened by furcyd over 2 years ago - 4 comments

#316 - Typo in example 6 in sets-functions-relations/size-of-sets/enumerability.tex

Issue - State: closed - Opened by furcyd over 2 years ago - 4 comments

#315 - Fix a few typos in functions chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#315 - Fix a few typos in functions chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#314 - Fix typo in first-order-logic/beyond/intuitionistic-logic.tex

Pull Request - State: closed - Opened by severen over 2 years ago - 1 comment

#314 - Fix typo in first-order-logic/beyond/intuitionistic-logic.tex

Pull Request - State: closed - Opened by severen over 2 years ago - 1 comment

#313 - Fix many small issues in tableaux chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#313 - Fix many small issues in tableaux chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#312 - Need to clarify explanation of last tableau in the example in tableaux/identity.tex

Issue - State: closed - Opened by furcyd over 2 years ago - 1 comment

#311 - Add missing label of discharged assumption in natural-deduction/provability-consistency.tex

Pull Request - State: closed - Opened by furcyd over 2 years ago

#310 - Pulling corrections from Tim

Pull Request - State: closed - Opened by rzach over 2 years ago

#310 - Pulling corrections from Tim

Pull Request - State: closed - Opened by rzach over 2 years ago

#309 - Fix a few typos in natural deduction chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#309 - Fix a few typos in natural deduction chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#308 - Fix a few typos in the "Theories and their Models" chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#308 - Fix a few typos in the "Theories and their Models" chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#307 - Fix typos in "Semantics of FOL" chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#307 - Fix typos in "Semantics of FOL" chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 1 comment

#306 - Fix typos in FOL syntax chapter

Pull Request - State: closed - Opened by furcyd over 2 years ago - 2 comments

GitHub / OpenLogicProject/OpenLogic issues and pull requests