Ebola virus can linger in body for hundreds of days, doctor warns
Almost a million people have been displaced in northeastern DCR, the WHO says.
America Forever Bytes
logic · AFBytes
Other
logic
Recent coverage
[2606.03484] Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents
Abstract page for arXiv paper 2606.03484: Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents
[2606.03947] Ranked MSO-enumeration over compressed words
Abstract page for arXiv paper 2606.03947: Ranked MSO-enumeration over compressed words
[2606.03133] The approximate strong completeness of the hypersequent calculus $\text{GŁ}\forall$
Abstract page for arXiv paper 2606.03133: The approximate strong completeness of the hypersequent calculus $\text{GŁ}\forall$
[2503.05364] Classical Logic as Intuitionistic Logic with Duality
Abstract page for arXiv paper 2503.05364: Classical Logic as Intuitionistic Logic with Duality
[2606.01898] Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
Abstract page for arXiv paper 2606.01898: Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
[2606.00812] A New Ehrenfeucht-Fraïssé Game for Dependence Logic
Abstract page for arXiv paper 2606.00812: A New Ehrenfeucht-Fraïssé Game for Dependence Logic
[2606.02387] Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
Abstract page for arXiv paper 2606.02387: Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
[2605.30762] Bringing closure to theory combination properties
Abstract page for arXiv paper 2605.30762: Bringing closure to theory combination properties
[2605.30618] Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
Abstract page for arXiv paper 2605.30618: Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
[2605.31260] On first-order definable operations on relational structures
Abstract page for arXiv paper 2605.31260: On first-order definable operations on relational structures
[2605.31269] Aspects of Coherence in Dependence Logic
Abstract page for arXiv paper 2605.31269: Aspects of Coherence in Dependence Logic
4-bit Relay Logic Counter Begs To Have Its Buttons Pushed
What’s one to do with some nice little relays of questionable pinout, and prototyping board? How about a quietly clicky 4-bit counter using relay logic with t...
[2305.09908] Properties of independence in $\mathrm{NSOP}
Abstract page for arXiv paper 2305.09908: Properties of independence in $\mathrm{NSOP}_3$ theories
[2511.06113] Notions of rank and independence in countably categorical theories
Abstract page for arXiv paper 2511.06113: Notions of rank and independence in countably categorical theories