.gitignore | 100644 | 0 | 0 | | | 126 Bytes | 447d5e85fcf0c6483d74dbabce91610b4004afd324a46219826be4d5e2ff5892 |
.rspec | 100644 | 0 | 0 | | | 30 Bytes | e3a05cdf2301e0e7d8be6b1d1137aa310d7d023575bb2f305df3519c6df5cf2b |
.ruby-gemset | 100644 | 0 | 0 | | | 9 Bytes | ba7586beaac69612da85d1bde6dcb2c52d6b0d78ee8c1c7bd0fe7b5f5cb44a45 |
.ruby-version | 100644 | 0 | 0 | | | 11 Bytes | df5eea17d4de9ecaa61fe82d2d6f8664f2b6aa006420081b12ce04fea3053174 |
Gemfile | 100644 | 0 | 0 | | | 93 Bytes | 7e226381a6c8033c7f632a25962ac530f0ddba5931dd126976dfe4bad612639f |
LICENSE.txt | 100644 | 0 | 0 | | | 1.05 KB | fc70389319a12beaa7b99ce534aaa6f5ad910e7850c40e9e0ef7f1f071ab2111 |
README.md | 100644 | 0 | 0 | | | 781 Bytes | acc65a167936ea80e06166962f9584b8431ef80ef2a9230d91381a8ca83fc8b9 |
Rakefile | 100644 | 0 | 0 | | | 130 Bytes | 09cc6dafcbbafbf01bafa19124f2a8254615990101f0e55d7643434d1d2dd25b |
catlogic.gemspec | 100644 | 0 | 0 | | | 990 Bytes | 121d5153a8640ac264f6c6197ee3fab758a40f69c6ce032c6ca5fcd32c0fbe74 |
lib/catlogic.rb | 100644 | 0 | 0 | | | 441 Bytes | c342dabe2473b63bcf5b331ba9bbe1eb966984a31def4b55cffe6b3cd43fcb3a |
lib/catlogic/distribution.rb | 100644 | 0 | 0 | | | 333 Bytes | 050b969e90ade41285717254139178521b64ecfd30401399742f87a0894d457a |
lib/catlogic/figure.rb | 100644 | 0 | 0 | | | 847 Bytes | 0250b9d204f28a6de4c0de5ff7934955e18aa93ea34cf3d285b0d37898557343 |
lib/catlogic/form.rb | 100644 | 0 | 0 | | | 2.43 KB | 09e7c45ce427acab69a35b2eede997bfb5e2ea3c6befa3e6415a8be79e4ecbc6 |
lib/catlogic/mood.rb | 100644 | 0 | 0 | | | 349 Bytes | 7e4b001403cf1b76f9742e5b7df24bb1bc4c0b8424f1dca60de2718fc3b4131a |
lib/catlogic/premise_collection.rb | 100644 | 0 | 0 | | | 818 Bytes | 381da2da5bdfad3bea434b8aedbe717f8947022a1a8ab553f08b53b9809a26e2 |
lib/catlogic/premise_pair.rb | 100644 | 0 | 0 | | | 1.59 KB | 7044467bdbba183f66abb0483ad64dd7f023a466e9109387f50d55db679572c6 |
lib/catlogic/proposition.rb | 100644 | 0 | 0 | | | 4.75 KB | 4584d2efabace7ad9bcbf9534218e43853b10f9970f94293fda111ee12e53030 |
lib/catlogic/proposition_type.rb | 100644 | 0 | 0 | | | 1.08 KB | 0a83a1a4858d8416160932bb4e99119ddf3cdb67176b18ff2f2536e2e547cd13 |
lib/catlogic/quality.rb | 100644 | 0 | 0 | | | 318 Bytes | 31a50123a1460daf42a99d024b5828140a202d17ebf3b2828a6ac66de8f5d727 |
lib/catlogic/quantity.rb | 100644 | 0 | 0 | | | 326 Bytes | d5fd69ff3a72f3a3f1a1f2a1eb1e75309092a598c6e539c2f43e42cae6a57e08 |
lib/catlogic/syllogism.rb | 100644 | 0 | 0 | | | 4.45 KB | f203ffaf5646f8350bf216eabec53e04a9af4776b5ad543a74cfb11631ec650d |
lib/catlogic/term.rb | 100644 | 0 | 0 | | | 718 Bytes | 268b56d4298f6b9f31d9c1e9ed3d8c76ae034342086e349634715d3777f39bb9 |
lib/catlogic/version.rb | 100644 | 0 | 0 | | | 40 Bytes | d96f939d8b9c0d300d5d64bd8a1ea500d47422c69f0a0b4cae855480481be5fc |
scripts/.idea/.name | 100644 | 0 | 0 | | | 3 Bytes | 51a1f05af85e342e3c849b47d387086476282d5f50dc240c19216d6edfb1eb5a |
scripts/.idea/bin.iml | 100644 | 0 | 0 | | | 284 Bytes | 4bce527358048c7c1e2bad5bc0d5610f3b8e6ad2cd022e2bee972a3e95a3596c |
scripts/.idea/encodings.xml | 100644 | 0 | 0 | | | 166 Bytes | 0234e0fa9139efc865c3e6b2099a91944493dd7867b5e883ae5e10511cc239e9 |
scripts/.idea/misc.xml | 100644 | 0 | 0 | | | 195 Bytes | ae8f231b177e718cde6ed94aacc0f65f15fd052a29ad71b1bc339430776bf8e9 |
scripts/.idea/modules.xml | 100644 | 0 | 0 | | | 260 Bytes | 1b22c324ed77807acdfb0da1cc887d98d2782db7fd33c44f7b2e30d98ead646f |
scripts/.idea/scopes/scope_settings.xml | 100644 | 0 | 0 | | | 139 Bytes | c1818c37eb63a10bcd7c575502aff53cdbff43df30419ccd9c4f6bf7792af4d0 |
scripts/.idea/vcs.xml | 100644 | 0 | 0 | | | 166 Bytes | 3a66f97c1066f54fd5a87d7479cad20846e0b65727b62184c9d75a46e4a4c6d9 |
scripts/.idea/workspace.xml | 100644 | 0 | 0 | | | 7.5 KB | 8f4da7267924f77c248301ebcd440db58f70f8bcc7c1fd654e2656002ea6109e |
scripts/displayInferredTruths.rb | 100755 | 0 | 0 | | | 6.52 KB | 13ad8116918b89354c4ea20fb650e62d23f86eafa7bc7837c15de9fdea5eee23 |
scripts/getAllValidPropositions.rb | 100755 | 0 | 0 | | | 556 Bytes | 8381e4a82eea9e9cdd7cf6292cdf643aceb9685aaab38557199dafde1ed4c103 |
scripts/testCombineSets.rb | 100755 | 0 | 0 | | | 1.33 KB | 46facabdb333f69e81af76921258498ec110dc6afd2754ae5986a09dd195e9dc |
scripts/testIfUnique.rb | 100755 | 0 | 0 | | | 735 Bytes | 812d07a54d71b9be4067e3ee7b582db81d59aa4ac94ca128e85d94719757bd1a |
scripts/testPremisePair.rb | 100755 | 0 | 0 | | | 353 Bytes | d01406424007bc97d5cd98e6fcb7defcc0dcf5777ee9fbc819436bb9a545c04d |
scripts/testProposition.rb | 100755 | 0 | 0 | | | 1.68 KB | 14b1cd8a67a4514d0fd0ce8f03f8f0d705450cad8660b7ff6904c8d9e3da2b5f |
scripts/testPropositionType.rb | 100755 | 0 | 0 | | | 1.47 KB | 43987648304502abd27125912bf93ddce069de57cf160cb3fa9deee2e62ccc33 |
scripts/testQuantity.rb | 100755 | 0 | 0 | | | 169 Bytes | 1e2501cb122214a14389159e50e7784da2b3182dbae8c24a8f3e748ff3e4c6c7 |
scripts/testReduceToUniqueSet.rb | 100755 | 0 | 0 | | | 749 Bytes | 069a6eaf69afb967862bd4fc2712e89063d16ae9b1e885cac7fe61553248ef75 |
scripts/testSyllogism.rb | 100755 | 0 | 0 | | | 1.49 KB | 2e2f85775d9668eb70c7f4bd3b20f30b2154fe8552632d7ec0faa2ea814594be |
scripts/testSyllogismForm.rb | 100755 | 0 | 0 | | | 1.14 KB | 1bbde04ac092c3a86e73b31e6beab5e2ecb58e4eb59e7024e372d9133129ac7f |
spec/distribution_spec.rb | 100644 | 0 | 0 | | | 659 Bytes | f36052152ff6cdf1eaf2d4a27afab7d0a79e6b6cd775f89fed41cd3dbd2ef651 |
spec/figure_spec.rb | 100644 | 0 | 0 | | | 766 Bytes | 0ba272e173fcc6c55867a3eb1a89f7cb2cd3d6415ba3915addfc7300e2035139 |
spec/form_spec.rb | 100644 | 0 | 0 | | | 751 Bytes | 58986edd87e048c8df136c611616d989362d4b4290e54f3f84b016005b5e8759 |
spec/mood_spec.rb | 100644 | 0 | 0 | | | 424 Bytes | f073bf27ca630a63f49c817c8b1de79f482fd68d3a0b17595bfecdecc05b5a96 |
spec/premise_collection_spec.rb | 100644 | 0 | 0 | | | 2.08 KB | 4630bf0a4d352bcc1f166c1d0a5f1fc94a96ca27c20238ea08de772702664fda |
spec/premise_pair_spec.rb | 100644 | 0 | 0 | | | 1.69 KB | c0ab0701940d1340c3f213499638922371384a8d0ed36c005f8c682567e811f4 |
spec/proposition_spec.rb | 100644 | 0 | 0 | | | 9.85 KB | 390ea1ebe66f1a5f096e46153ae31bdcf0a799a239a831304aa86cdd1d5c5354 |
spec/proposition_type_spec.rb | 100644 | 0 | 0 | | | 1.07 KB | 06e56050a66652fb83f6d960e665f46911804e58f7139f2c0004ce07d54572b4 |
spec/quality_spec.rb | 100644 | 0 | 0 | | | 407 Bytes | 3d3c1bf41b19c5048b14d6679aa48be2eebe5fb6f231d474b7011304617833a3 |
spec/quantity_spec.rb | 100644 | 0 | 0 | | | 426 Bytes | 6e3cc3e3eee92ef1bb14b0dc9ce709a52c31cdb0a7b19ceaac8e72206b9c377d |
spec/spec_helper.rb | 100644 | 0 | 0 | | | 4.13 KB | fe035286f007e34a914121597996206b85b1c4b8ee5aeb259ff2ab9e432e4ccd |
spec/syllogism_spec.rb | 100644 | 0 | 0 | | | 4.54 KB | f9245d8fb961e30548592ef4ffb07573be362264844b9b0e1b0a54583b0ebbeb |
spec/term_spec.rb | 100644 | 0 | 0 | | | 834 Bytes | e951a21f14f6b45698ec161273b209af7346be8b2d2d67668471e5f0ba15c2f3 |