Sara Ayhan

MaRDI QIDQ2037303zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Generalized Notion of Refutation for Gentzen Calculi* History and Philosophy of Logic	2026-03-31	Paper
Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics History and Philosophy of Logic	2026-03-31	Paper
Comparing sense and denotation in bilateralist proof systems for proofs and refutations Bulletin of the Section of Logic	2025-12-03	Paper
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) Bulletin of the Section of Logic	2024-02-29	Paper
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) Bulletin of the Section of Logic	2024-02-29	Paper
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) Bulletin of the Section of Logic	2024-02-29	Paper
Logical multilateralism Journal of Philosophical Logic	2024-01-08	Paper
What are acceptable reductions? The Australasian Journal of Logic	2023-10-31	Paper
What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics (available as arXiv preprint)	2023-07-08	Paper
Uniqueness of logical connectives in a bilateralist setting (available as arXiv preprint)	2022-10-03	Paper
scientific article; zbMATH DE number 7503163 (Why is no real title available?)	2022-04-04	Paper
What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics Journal of Philosophical Logic	2021-06-30	Paper
A cut-free sequent calculus for the bi-intuitionistic logic 2Int	2020-09-23	Paper
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Sara Ayhan