catlogic-1.0.0

https://rubygems.org

catlogic

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 759077

number: 1.0.0

platform: ruby

spec_sha256: a85a06e15ffca1f901099fe32fbb9c74ae616f2ffdd8db116b762f0be96b2a99

sha256: 8d9dc6d1b970b502b3bc3ce137fcba7f4b89d341655ed3d88ce0e69e82f4db6c

created_at: 2024-05-13 08:25:20 UTC

updated_at: 2024-06-10 11:23:43 UTC

position: 1

version_data_entries_count: 57

uploaded_at: 2015-08-29 14:57:23 UTC

indexed: true

has_extensions:

extensions:

Gem size: 23.5 KB

Version Data Entries

Total: 57

Unpacked size: 91.3 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.gitignore10064400126 Bytes447d5e85fcf0c6483d74dbabce91610b4004afd324a46219826be4d5e2ff5892
.rspec1006440030 Bytese3a05cdf2301e0e7d8be6b1d1137aa310d7d023575bb2f305df3519c6df5cf2b
.ruby-gemset100644009 Bytesba7586beaac69612da85d1bde6dcb2c52d6b0d78ee8c1c7bd0fe7b5f5cb44a45
.ruby-version1006440011 Bytesdf5eea17d4de9ecaa61fe82d2d6f8664f2b6aa006420081b12ce04fea3053174
Gemfile1006440093 Bytes7e226381a6c8033c7f632a25962ac530f0ddba5931dd126976dfe4bad612639f
LICENSE.txt100644001.05 KBfc70389319a12beaa7b99ce534aaa6f5ad910e7850c40e9e0ef7f1f071ab2111
README.md100644009.52 KB7525233045c64fc6a588cf184d805527fbbe146c97b782a52dd0e3886adbebc7
Rakefile10064400130 Bytes09cc6dafcbbafbf01bafa19124f2a8254615990101f0e55d7643434d1d2dd25b
catlogic.gemspec10064400990 Bytes121d5153a8640ac264f6c6197ee3fab758a40f69c6ce032c6ca5fcd32c0fbe74
lib/catlogic.rb10064400451 Bytes6b4e966ddb340b8a6d2f36186f61c8e95a7e03d7ab946dea0ec8bbed3d3a053b
lib/catlogic/distribution.rb10064400380 Bytes5aa0abfcee97c800ec888ca20dbcd1027236dc07f9999b5e3d6a72dfd2a81db3
lib/catlogic/figure.rb10064400978 Bytese09db59dc77e483a7fa83098115919030e72ed37e8b1d5f5280cd23ad5242046
lib/catlogic/form.rb100644002.65 KBe66a7aecb904041f7b1f10f19e0b96f21a3bcfe237643e84c1ae7e6791515332
lib/catlogic/integer.rb1006440070 Bytes2ceb61d8e6aef195e56c289b51d069d48b162f1e3d70c21ef51ba5e37a9f84c5
lib/catlogic/mood.rb10064400531 Bytes445b30f06fecdb43d282c8d73c22032e70a68a6fba78b6aaeac68e5722f461e3
lib/catlogic/premise_collection.rb100644002.86 KB2752d947e481e31378205f0822756315b8851a336e0d84284cc4d91f0a0a9b23
lib/catlogic/premise_pair.rb100644001.78 KBe17654ca8df021334f87f58bac08d6fdbee941363b728c4370d920216ee4ac11
lib/catlogic/proposition.rb100644005.15 KB5e5ff80878b685296cac3221ef6643b1766777885b796e659112e227349b9ab9
lib/catlogic/proposition_type.rb100644001.2 KBb99bbdb289accd56d45f9c713b07a7bdd8b8e6813e9f47368513715677b00116
lib/catlogic/quality.rb10064400405 Bytes1ed90db91a016e7fcbe725ec8b28abc72e94a01fad95ccd62bbfbcd288f515dd
lib/catlogic/quantity.rb10064400413 Bytes61b20d0a175cd6a251c30ea58c23417e415dd47a170c52e19ea57659c1500e79
lib/catlogic/string.rb10064400322 Bytes9304116abf9ec810f81e543b7ba3ad2203fcfd5e98d33cebb9e4508bf89e811a
lib/catlogic/syllogism.rb100644004.74 KB3173922ed3c328e55a15fd58f3f37bfaf7058b641915c4af60470129eabec8ca
lib/catlogic/term.rb10064400822 Bytes26efc9eb98a7b99d269a14bfe68a5a9884ac796c7e7663317517ff32bdfed944
lib/catlogic/version.rb1006440040 Bytesfefef4cc8f3044ef9349d5debf97bc2231f88355d32c366811abc926dbe88c4b
scripts/.idea/.name100644003 Bytes51a1f05af85e342e3c849b47d387086476282d5f50dc240c19216d6edfb1eb5a
scripts/.idea/bin.iml10064400284 Bytes4bce527358048c7c1e2bad5bc0d5610f3b8e6ad2cd022e2bee972a3e95a3596c
scripts/.idea/encodings.xml10064400166 Bytes0234e0fa9139efc865c3e6b2099a91944493dd7867b5e883ae5e10511cc239e9
scripts/.idea/misc.xml10064400195 Bytesae8f231b177e718cde6ed94aacc0f65f15fd052a29ad71b1bc339430776bf8e9
scripts/.idea/modules.xml10064400260 Bytes1b22c324ed77807acdfb0da1cc887d98d2782db7fd33c44f7b2e30d98ead646f
scripts/.idea/scopes/scope_settings.xml10064400139 Bytesc1818c37eb63a10bcd7c575502aff53cdbff43df30419ccd9c4f6bf7792af4d0
scripts/.idea/vcs.xml10064400166 Bytes3a66f97c1066f54fd5a87d7479cad20846e0b65727b62184c9d75a46e4a4c6d9
scripts/.idea/workspace.xml100644007.5 KB8f4da7267924f77c248301ebcd440db58f70f8bcc7c1fd654e2656002ea6109e
scripts/displayInferredTruths.rb100755003.78 KB41d046724f78fcc5c99b121e43346c91c754783e3cd5a080cbb0f8d7021c85ed
scripts/getAllValidPropositions.rb10075500616 Bytesf9a897c43ada172e7266b6a58a481c68f9fc82b251463bde5d9a80a6c2a2f120
scripts/testCombineSets.rb100755001.46 KB7f5e36a14775441b95c809e55ae6c16a11a92eb1455662b461a993fe7f90750f
scripts/testIfUnique.rb10075500935 Bytesdf11499bbeec12bfaefe6cf06256fa4f3962126de6241bc0e954d8611d0d1077
scripts/testPremisePair.rb10075500383 Bytes7ca66d9046793cf8e8842d61ff92aaef8aadf39df8c969cf75af6b99935fab44
scripts/testProposition.rb100755001.73 KB5b6c9afcfcd86979809d357c226cc0c073822159014ce9740f684bfed534b916
scripts/testPropositionType.rb100755001.48 KB8a4274618184a59af9429d36ed6b94f2a6f493be4e6efbe292a47b2437f8fbdd
scripts/testQuantity.rb10075500179 Bytes6117386478163d1755fedb6b96b4fb8ee5a50f04b84698b26e234823664ee720
scripts/testReduceToUniqueSet.rb10075500809 Bytesea9aba18b64c6a5e2d539d41cafc17e10b5b0c8cfa2c40556e88fce45fc5e6d6
scripts/testSyllogism.rb100755001.66 KB0a5efaeb1d42407add4957400dd14fc0397530abbe99ed84a2be120b8837cb60
scripts/testSyllogismForm.rb100755001.2 KBf5d0486f8034d7de7625357de1985a68e6a39680305b702b1aa1d482ce69c23b
spec/distribution_spec.rb10064400689 Bytes9273e51d202584a2b8565f9d025d3aa8936f37a66f45d0d342c853f815a77746
spec/figure_spec.rb10064400776 Bytesf3eb87041a0f0ce5adc1c1feb26c69b0144a598d1f7e1fdac626b6d3cff088f0
spec/form_spec.rb10064400811 Bytes2f67378b4dd3e25a1d4ef897361f85e51c55c383977f6b2c8184d39a04fb4484
spec/mood_spec.rb10064400464 Bytes53ee5a8d6f98e9a82f9e8f98313861c415136f29769cb01df56cfb362742da29
spec/premise_collection_spec.rb100644006.09 KBdaf73f6a4b777ff54af710429041ebe7cecc50ee8387da3bb47eb94c0cfdc907
spec/premise_pair_spec.rb100644002.15 KBb79d46fcc43cbfc1adc7e3084a2e4abae963e0f329d2528d392ea9b45e5829da
spec/proposition_spec.rb1006440011 KBdb1b67caf37b24dd6c708beff884fb55bd9da6ad26ce5485d3929e243912dbe5
spec/proposition_type_spec.rb100644001.11 KB22c6550574969f55a5607f88441611bce9681aa80036bb073873da2e836996c2
spec/quality_spec.rb10064400427 Bytes26c8bee56d4d99d5fc3c604165074dad726082e07433df0fcafb7e4953e5a186
spec/quantity_spec.rb10064400446 Bytes9adf8e5f178844ee312c191b5c4570ea7765f3883529d60e9dcb1140a3810b1a
spec/spec_helper.rb100644004.13 KBfe035286f007e34a914121597996206b85b1c4b8ee5aeb259ff2ab9e432e4ccd
spec/syllogism_spec.rb100644005.02 KB0352cd83c4f977b440d8dcedd9af0262909a67c969b90a5b3ccced790e1f69b5
spec/term_spec.rb10064400894 Bytes9ac8d78e0558182317bfa6171b05e1ee8a67bdbd508fdeca19aa13515ebc5bec