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

math: update paper info

Browse Source
This commit is contained in:
cannorin
2025-11-16 02:54:11 +09:00
parent c565729d5c
commit 7f8397d323
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -42,7 +42,7 @@ const isAccepted = (p: Paper) =>
const papers: Paper[] = [ const papers: Paper[] = [
{ {
type: "accepted", type: "published",
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"],
@@ -50,6 +50,8 @@ const papers: Paper[] = [
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", journal: "Journal of Logic and Computation",
doi: "10.1093/logcom/exaf048",
info: "Volume 35, Issue 7, October 2025"
}, },
{ {
type: "accepted", type: "accepted",