cannorin/cannorin.net
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update /math

Browse Source
This commit is contained in:
cannorin
2025-08-19 01:06:30 +09:00
parent c379eda7e7
commit 95a43ff829
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
apps/web/src/routes/(main)/math/+page.svelte
View File

@@ -23,7 +23,7 @@ type SubmittedPaper = PaperBase & {
type JournalPaperBase = PaperBase & { type JournalPaperBase = PaperBase & {
journal: string; journal: string;
doi: string; doi?: string;
}; };
type AcceptedPaper = JournalPaperBase & { type AcceptedPaper = JournalPaperBase & {
@@ -42,13 +42,14 @@ const isAccepted = (p: Paper) =>
const papers: Paper[] = [ const papers: Paper[] = [
{ {
type: "submitted", type: "accepted",
title: title:
"Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle", "Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle",
authors: ["Yuta Sato"], authors: ["Yuta Sato"],
arxiv: "2503.10176", arxiv: "2503.10176",
researchGate: researchGate:
"https://www.researchgate.net/publication/389821716_Uniform_Lyndon_interpolation_for_the_pure_logic_of_necessitation_with_a_modal_reduction_principle", "https://www.researchgate.net/publication/389821716_Uniform_Lyndon_interpolation_for_the_pure_logic_of_necessitation_with_a_modal_reduction_principle",
journal: "Journal of Logic and Computation",
}, },
{ {
type: "accepted", type: "accepted",