Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
Main Author: | Sara Ayhan |
---|---|
Format: | Article |
Language: | English |
Published: |
Lodz University Press
2023-06-01
|
Series: | Bulletin of the Section of Logic |
Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/18358 |
Similar Items
-
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
by: Sara Ayhan
Published: (2023-09-01) -
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
by: Sara Ayhan, et al.
Published: (2023-06-01) -
What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013) -
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics
by: Robert Constable, et al.
Published: (2008-09-01) -
An Introduction to Mathematical Proofs /
by: Loehr, Nicholas A., author 650211
Published: (2020)