Showing
1 - 19
results of
19
for search '
"Ayhan, Sara"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "Ayhan, Sara"
Showing
1 - 19
results of
19
for search '
"Ayhan, Sara"
'
, query time: 1.15s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
by
Ayhan
,
Sara
Published in
Bulletin of the Section of Logic
(2023)
Get full text
Journal Article
Save to List
Saved in:
2
Loading…
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
by
Ayhan
,
Sara
Published in
Bulletin of the Section of Logic
(2023)
Get full text
Journal Article
Save to List
Saved in:
3
Loading…
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
by
Ayhan
,
Sara
,
Wansing, Heinrich
Published in
Bulletin of the Section of Logic
(18.07.2023)
Get full text
Journal Article
Save to List
Saved in:
4
Loading…
Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
by
Ayhan
,
Sara
Published in
History and philosophy of logic
(13.09.2024)
Get full text
Journal Article
Save to List
Saved in:
5
Loading…
What is the Meaning of Proofs?: A Fregean Distinction in Proof-Theoretic Semantics
by
Ayhan
,
Sara
Published in
Journal of philosophical logic
(01.06.2021)
Get full text
Journal Article
Save to List
Saved in:
6
Loading…
What are acceptable reductions?: Perspectives from proof-theoretic semantics and type theory
by
Ayhan
,
Sara
Published in
The Australasian journal of logic
(19.10.2023)
Get full text
Journal Article
Save to List
Saved in:
7
Loading…
What is the Meaning of Proofs?
by
Ayhan
,
Sara
Published in
Journal of philosophical logic
(01.06.2021)
Get full text
Journal Article
Save to List
Saved in:
8
Loading…
Logical Multilateralism
by
Wansing, Heinrich
,
Ayhan
,
Sara
Published in
Journal of philosophical logic
(01.12.2023)
Get full text
Journal Article
Save to List
Saved in:
9
Loading…
On Synonymy in Proof-Theoretic Semantics: The Case of 2Int
by
Ayhan
,
Sara
,
Wansing, Heinrich
Published in
Bulletin of the Section of Logic
(2023)
Get full text
Journal Article
Save to List
Saved in:
10
Loading…
A Generalized Notion of Refutation for Gentzen Calculi
by
von Kutschera, Franz
,
Ayhan
,
Sara
Published in
History and philosophy of logic
(15.10.2024)
Get full text
Journal Article
Save to List
Saved in:
11
Loading…
INTRODUCTION: BILATERALISM AND PROOF-THEORETIC SEMANTICS (PART II)
by
Ayhan
,
Sara
Published in
Bulletin of the Section of Logic
(01.01.2023)
Get full text
Journal Article
Save to List
Saved in:
12
Loading…
What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory
by
Ayhan
,
Sara
Published in
arXiv.org
(24.10.2023)
Get full text
Paper
Journal Article
Save to List
Saved in:
13
Loading…
What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics
by
Ayhan
,
Sara
Published in
arXiv.org
(08.07.2023)
Get full text
Paper
Journal Article
Save to List
Saved in:
14
Loading…
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by
Ayhan
,
Sara
Year of Publication
03.07.2023
Get full text
Journal Article
Save to List
Saved in:
15
Loading…
Uniqueness of logical connectives in a bilateralist setting
by
Ayhan
,
Sara
Year of Publication
03.10.2022
Get full text
Journal Article
Save to List
Saved in:
16
Loading…
A cut-free sequent calculus for the bi-intuitionistic logic 2Int
by
Ayhan
,
Sara
Year of Publication
23.09.2020
Get full text
Journal Article
Save to List
Saved in:
17
Loading…
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by
Ayhan
,
Sara
Published in
arXiv.org
(23.02.2024)
Get full text
Paper
Save to List
Saved in:
18
Loading…
Uniqueness of logical connectives in a bilateralist setting
by
Ayhan
,
Sara
Published in
arXiv.org
(03.10.2022)
Get full text
Paper
Save to List
Saved in:
19
Loading…
A cut-free sequent calculus for the bi-intuitionistic logic 2Int
by
Ayhan
,
Sara
Published in
arXiv.org
(23.09.2020)
Get full text
Paper
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Journal Article
16 results
16
Paper
3 results
3
Subject Area
philosophy
11 results
11
physics
5 results
5
education
2 results
2
Topic
logic
11 results
11
semantics
8 results
8
calculus
6 results
6
science & technology
6 results
6
science & technology - other topics
6 results
6
arts & humanities
5 results
5
See more
Language
English
19 results
19
Year of Publication
From:
To:
Database
ProQuest Central
13 results
13
EBSCOhost Academic Search Ultimate - eBooks
10 results
10
ProQuest Technology Collection
9 results
9
ROAD: Directory of Open Access Scholarly Resources
6 results
6
EZB Electronic Journals Library
6 results
6
arXiv.org
5 results
5
See more
