Sara Ayhan

From MaRDI portal
Person:2037303

Available identifiers

zbMath Open ayhan.saraMaRDI QIDQ2037303

List of research outcomes





PublicationDate of PublicationType
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)2024-02-29Paper
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)2024-02-29Paper
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)2024-02-29Paper
Logical multilateralism2024-01-08Paper
What are acceptable reductions?2023-10-31Paper
What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics2023-07-08Paper
Uniqueness of logical connectives in a bilateralist setting2022-10-03Paper
https://portal.mardi4nfdi.de/entity/Q50679742022-04-04Paper
What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics2021-06-30Paper
A cut-free sequent calculus for the bi-intuitionistic logic 2Int2020-09-23Paper
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutationsN/APaper

Research outcomes over time

This page was built for person: Sara Ayhan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2037303&oldid=6150112"
Powered by MediaWiki