| Logarithms of positive rational numbers | 2H8E0JBNCR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10192#346O |
| LOGCFL | NCC2YZB1FY | definition | open | Wikipedia LOGCFL, Wikidata Q448600 |
| logic | G0NS7MBKJB | definition | open | Wikipedia Glossary of logic#IIJ1 |
| logic | V4JV8GMNG6 | definition | open | Wikidata Q8078, MathWorld Logic, ProofWiki Definition:Logic, Wikipedia Logic |
| Logic alphabet | BKCXDTS02Q | definition | open | Wikipedia Logic alphabet, Wikidata Q6667449 |
| Logic and Analysis | APCJQ5QTEK | unknown | open | Wikipedia List of logic journals#F6N5 |
| Logic and dialectic | F06J1BGSX2 | definition | open | Wikipedia Logic and dialectic, Wikidata Q25062655 |
| Logic and Logical Philosophy | QMABT4XRYN | unknown | open | Wikipedia List of logic journals#SLP5 |
| Logic and rationality | 71MBCKZ5BR | definition | open | Wikipedia Logic and rationality, Wikidata Q25110272 |
| Logic for Computable Functions | 5ADHV4W2GA | definition | open | Wikipedia Logic for Computable Functions, Wikidata Q6667462 |
| Logic formula minimization | 9DJTNX062G | statement | open | Wikipedia Combinational logic#JJNT |
| logic gate | 107GXX4DAZ | unknown | open | Wikidata Q170451, nLab logic gate |
| Logic gate | 2TJTQ9F631 | unknown | open | Wikipedia List of Boolean algebra topics#JZ7R |
| logic gate | NHM6TBQ58H | definition | open | Wikipedia Glossary of logic#YFG4 |
| Logic in China | REK0BTRYKM | definition | open | Wikipedia Logic in China, Wikidata Q6667459 |
| logic in computer science | B211R07Y6W | topic | open | Wikidata Q2651693, Wikipedia Logic in computer science |
| Logic in Islamic philosophy | KKQHCS9C6B | definition | open | Wikipedia Logic in Islamic philosophy, Wikidata Q6667461 |
| Logic Journal of the IGPL | 12Z4MVH1TW | unknown | open | Wikipedia List of logic journals#OQMZ |
| Logic Made Easy | CZ59HKKGYC | definition | open | Wikipedia Logic Made Easy, Wikidata Q6667439 |
| Logic Masters India | HCSNBBZ82X | definition | open | Wikipedia Logic Masters India, Wikidata Q116756417 |
| logic of attributes | GGNNW56J75 | definition | open | Wikipedia Glossary of logic#AML8 |
| logic of conditionals | N3X400XRTB | definition | open | Wikipedia Glossary of logic#6YJ0 |
| Logic of graphs | CBHNP7EFDC | definition | open | Wikipedia List of undecidable problems#SEWJ |
| Logic of graphs | XRDYFB3WSQ | definition | open | Wikipedia Logic of graphs, Wikidata Q25304160 |
| Logic of information | 67GJKGGKVR | definition | open | Wikipedia Logic of information, Wikidata Q6667468 |
| Logic of Paradox | B52ST16C7C | definition | open | Wikipedia Glossary of logic#INYQ |
| Logic of Paradox | KRTZBQMB28 | statement | open | Wikipedia Paraconsistent logic#Z1R5 |
| logic of questions and answers | AFJ5B8WMDE | definition | open | Wikipedia Glossary of logic#LZ2M |
| logic of relations | PG45Y5QM65 | definition | open | Wikipedia Glossary of logic#AZ3R |
| Logic of relatives | 8V1FZV27HW | unknown | open | Wikipedia Charles Sanders Peirce#VVFT |
| logic of weak excluded middle | NAQDKJMENM | definition | open | Wikipedia Glossary of logic#R19E |
| Logic optimization | X3ZS6BQ68E | definition | open | Wikipedia Logic optimization, Wikidata Q6667469 |
| Logic Piano | ED801753GG | unknown | open | Wikipedia William Stanley Jevons#1Q0T |
| logic programming | PJ0AXB74C7 | unknown | open | Wikidata Q275603, EoM Logic_programming |
| Logic puzzle | 6Y6CR6H9HR | problem | open | Wikipedia Logic puzzle, Wikidata Q1774662 |
| Logic redundancy | M3CEZEXW0A | definition | open | Wikipedia Logic redundancy, Wikidata Q3381287 |
| Logic translation | 1PSNN1KCMR | definition | open | Wikipedia Logic translation, Wikidata Q117337220 |
| logic, classical vs constructive | ZAZ6241CS9 | concept | open | hott_book index/A.11/logic-classical-vs-constructive |
| logic, constructive | MNFMF2633V | concept | open | hott_book index/u1.u7/logic-constructive |
| logic, constructive vs classical | 4A84CKFSND | concept | open | hott_book index/u1.u7/logic-constructive-vs-classical |
| logic, constructive vs classical | GN4SER4EAB | concept | open | hott_book index/9.4/logic-constructive-vs-classical |
| logic, constructive vs classical | QN4XR5036J | concept | open | hott_book index/A.11/logic-constructive-vs-classical |
| logic, constructive vs classical | ZNZCGRQ4DV | concept | open | hott_book index/9.2/logic-constructive-vs-classical |
| logic, intuitionistic | 9NJ4GYXVV4 | concept | open | hott_book index/u1.u7/logic-intuitionistic |
| logic, of mere propositions | FPJEXYH3B4 | concept | open | hott_book index/9.3/logic-of-mere-propositions |
| logic, of mere propositions | PZSRW39MBH | concept | open | hott_book index/9.10/logic-of-mere-propositions |
| logic, of mere propositions | SF2N0Z6YZX | concept | open | hott_book index/9.6/logic-of-mere-propositions |
| logic, predicate | 7K5K23S032 | concept | open | hott_book index/A.11/logic-predicate |
| logic, propositional | D8R06X5DST | concept | open | hott_book index/A.11/logic-propositional |
| logic, propositions as types | 2V5TRP8Z31 | concept | open | hott_book index/A.11/logic-propositions-as-types |
| logic, truncated | 53ARRF1TBN | concept | open | hott_book index/9.10/logic-truncated |
| Logica nova | XX2MR8SQXJ | definition | open | Wikipedia Logica nova, Wikidata Q3257912 |
| Logica Universalis | 6JFRF33HS1 | definition | open | Wikipedia Logica Universalis, Wikidata Q6667475 |
| Logica Universalis | ER0N7JQRYK | definition | open | Wikipedia List of logic journals#995B |
| logical | WTHHC52H15 | definition | open | Wikipedia Glossary of Principia Mathematica#JZXC |
| Logical algebra of the repaired idempotent | 2DEMPB9B8T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40214#2O3V |
| Logical Analysis and History of Philosophy | D0EKYS6VHQ | definition | open | Wikipedia List of logic journals#9BEF |
| Logical Analysis and History of Philosophy | X30F9ZGF2E | definition | open | Wikipedia Logical Analysis and History of Philosophy, Wikidata Q6667477 |
| logical antirealism | MZ3Z4W2QDT | definition | open | Wikipedia Glossary of logic#0173 |
| Logical axioms | QAD687EA26 | statement | open | Wikipedia Axiom#94W5 |
| logical basis and dimension | HAD90J6R2P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39395#LU81 |
| Logical biconditional | 5ZZ5JAP7M7 | definition | open | Wikipedia List of Boolean algebra topics#TUS0 |
| Logical biconditional | A23BPV5X50 | definition | open | Wikipedia Logical biconditional, Wikidata Q204355 |
| Logical conjunction | B3AD3YPG9K | definition | open | Wikipedia List of Boolean algebra topics#M0BA |
| logical conjunction | VQFFGWMKZD | definition | node (a node has the same Wikidata item as the row) | Wikidata Q191081, EoM Conjunction, MathWorld Conjunction, nLab logical conjunction, Wikipedia Logical conjunction |
| logical connective | 24MMPECJGN | definition | open | Wikipedia Glossary of logic#NUBP |
| Logical connective | GH2DYTNBXN | definition | open | Wikipedia List of Boolean algebra topics#610H |
| logical connective | NFDA12X79A | unknown | open | Wikidata Q93439763, MathWorld Connective |
| logical consequence | K5Q4KGKET0 | definition | open | Wikipedia Glossary of logic#5J0H |
| Logical consequence | SA1Y6NHE1F | definition | open | Wikipedia Logical consequence, Wikidata Q374182 |
| Logical constant | 5YVX9Z8E77 | definition | open | Wikipedia Logical constant, Wikidata Q1782658 |
| logical constant | TG7SC9X98Z | definition | open | Wikipedia Glossary of logic#XZGR |
| Logical cube | FN36FQTE25 | definition | open | Wikipedia Logical cube, Wikidata Q6667488 |
| Logical decomposition of integer-compatible CSS codes | 4KPKZMRMYG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04834#7V1Z |
| Logical determinism | GJPYD3QFK0 | definition | open | Wikipedia Logical determinism, Wikidata Q22906566 |
| logical disjunction | 7V32GQBYSG | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1651704, EoM Disjunction, MathWorld Disjunction, Wikipedia Logical disjunction |
| Logical disjunction | 8R7HGFKT7T | definition | open | Wikipedia List of Boolean algebra topics#ULZ4 |
| Logical distance | NH583BRPQB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40252#ECAP |
| Logical distinctness space | MKW92YE72S | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40252#6L2M |
| Logical equality | 4HZF3TXF9X | definition | open | Wikipedia Logical equality, Wikidata Q3308477 |
| Logical equality | SZVC7SMV5P | definition | open | Wikipedia List of Boolean algebra topics#2MCX |
| logical equivalence | 8E2ZE236S2 | concept | open | levin_dmoi index/4.1.2/logical-equivalence |
| logical equivalence | ECMJ3HZ6KT | definition | open | Wikipedia Glossary of logic#KJPL |
| logical equivalence | EHDGX0E9G8 | definition | node (a node has the same name as the row) | Wikidata Q220433, MathWorld Equivalence, MathWorld Equivalent, nLab logical equivalence, Wikipedia Logical equivalence |
| Logical expressivism | 61S9TG5BT8 | unknown | open | Wikipedia Robert Brandom#CFVU |
| Logical extreme | 31SZEBAE2T | definition | open | Wikipedia Logical extreme, Wikidata Q6667491 |
| logical falsehood | GP4R4CDY1V | definition | open | Wikipedia Glossary of logic#BVD9 |
| logical form | R8CBK9GXP9 | definition | open | Wikipedia Glossary of logic#3E6V |
| Logical form | Z7W6PQ5JV4 | definition | open | Wikipedia Logical form, Wikidata Q6667497 |
| logical formula | R18V3HYG9D | definition | open | Wikidata Q2627911, ProofWiki Definition:Logical_Formula |
| logical framework | W6E2JP4VKY | definition | open | Wikidata Q6667502, nLab logical framework, Wikipedia Logical framework |
| Logical functor | C4KTKKK8ZV | unknown | open | Wikipedia Elementary topos#AD88 |
| Logical graph | 6E2KHX61F4 | definition | open | Wikipedia List of graph theory topics#L5FF, Wikipedia List of Boolean algebra topics#Q9ZD |
| logical graph | 9Q4G34KFE3 | unknown | open | Wikidata Q6667503, nLab logical graph |
| Logical harmony | KA31M9M93Y | definition | open | Wikipedia Logical harmony, Wikidata Q1585647 |
| Logical hexagon | WWXSZ7CCBQ | definition | open | Wikipedia Logical hexagon, Wikidata Q3135033 |
| Logical holism | RW0WBC6WM4 | definition | open | Wikipedia Logical holism, Wikidata Q6667499 |
| Logical identity | FZG533Y1YS | statement | open | Wikipedia Truth table#ZW1Z |
| logical implication | 4029HYY55Y | definition | open | Wikipedia Glossary of logic#LR8L |
| Logical implication | T6VNR4CWAW | definition | open | Wikipedia List of Boolean algebra topics#EVKL |