Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

Bibliographic Details
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)

Analysis : with an introduction to proof /
by: 233723 Lay, Steven R.
Published: (2004)

Classical BI: Its Semantics and Proof Theory
by: James Brotherston, et al.
Published: (2010-07-01)

Infinite arguments and semantics of dialectical proof procedures
by: Phan Minh Thang, et al.
Published: (2022-06-01)

Bilateral attention network for semantic segmentation
by: Dongli Wang, et al.
Published: (2021-06-01)

Bilateral network with rich semantic extractor for real-time semantic segmentation
by: Shan Zhao, et al.
Published: (2023-10-01)

Introduction to proof in abstract mathematics /
by: 460536 Wohlgemuth, Andrew
Published: (1990)

Journey into mathematics : an introduction to proofs /
by: Rotman, Joseph J., 1934-
Published: (1998)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
by: Simon Docherty, et al.
Published: (2018-10-01)

A Proof Theoretic Analysis of Intruder Theories
by: Alwen F Tiu, et al.
Published: (2010-09-01)

A proof-theoretic view on scheduling in concurrency
by: Emmanuel Beffara
Published: (2014-09-01)

Semantics of Interaction: an introduction to Game Semantics
by: Abramsky, S
Published: (1997)

Discrete mathematics : an introduction to proofs and combinatorics /
by: 202892 Ferland, Kevin
Published: (2009)

Set theory : an introduction to independence proofs /
by: 308482 Kunen, Kenneth
Published: (1980)

Conjecture and proof : an introduction to mathematical thinking /
by: 487474 Schwartz, Diane Driscoll
Published: (c199)

Introduction to mathematical proofs : a transition /
by: Roberts, Charles E., 1942-
Published: (2009)

A category-theoretic proof of the ergodic decomposition theorem
by: Moss, S, et al.
Published: (2023)

A simple proof of generalizations of number-theoretic sums
by: Yanapat Tongron, et al.
Published: (2022-04-01)

Relative computability and the proof−theoretic strength of some theories
by: Afshari, B
Published: (2008)

Introduction semantics: lexicon, grammar and use Introduction semantics: lexicon, grammar and use
by: Roberta Pires de Oliveira, et al.
Published: (2008-04-01)

Doing mathematics : an introduction to proofs and problem solving /
by: 414375 Galovich, Steven
Published: (2007)

A Transition to Proof : An Introduction to Advanced Mathematics /
by: Nicholson, Neil R., author
Published: (2019)

Bilateral U‐Net semantic segmentation with spatial attention mechanism
by: Guangzhe Zhao, et al.
Published: (2023-06-01)

A Finite-Model-Theoretic View on Propositional Proof Complexity
by: Erich Grädel, et al.
Published: (2022-06-01)

A representation-theoretic proof of the branching rule for Macdonald polynomials
by: Yi Sun
Published: (2015-01-01)

Bennet’s Criticism of Kant's Refutation of Theoretical Proofs for the Existence of God
by: Arvin Azargin
Published: (2017-04-01)

Contamination flashover, part I : theoretical aspects /
by: 354201 Jolly, David C.

Semantics : an introduction to the science of meaning /
by: 366959 Ullman, Stephen
Published: (1962)

A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic
by: Ketland, J
Published: (2000)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
by: Sadrzadeh, M, et al.
Published: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
by: Sadrzadeh, M, et al.
Published: (2009)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
by: Sadrzadeh, M, et al.
Published: (2010)

Introduction: Future-proof Regulation and Enforcement for the Digitalised Age
by: Gavin Robinson, et al.
Published: (2023-11-01)

Introduction to advanced mathematics : a guide to understanding proofs /
by: 522843 Campbell, Connie M.
Published: (c201)

Essentials of mathematics : introduction to theory, proof, and the professional culture /
by: 181607 Hale, Margie
Published: (2003)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
by: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Published: (c201)