Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Gheorghiu, Alexander V."'
Autor:
Gheorghiu, Alexander V.
Sandqvist gave a proof-theoretic semantics (P-tS) for classical logic (CL) that explicates the meaning of the connectives without assuming bivalance. Later, he gave a semantics for intuitionistic propositional logic (IPL). While soundness in both cas
Externí odkaz:
http://arxiv.org/abs/2410.11751
A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires an interpretation of logical formulae in terms of the resources and sta
Externí odkaz:
http://arxiv.org/abs/2405.06491
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Comment: Submitted to 'Logic and Philosophy: Historical and Contemporary Issues
Comment: Submitted to 'Logic and Philosophy: Historical and Contemporary Issues
Externí odkaz:
http://arxiv.org/abs/2403.10546
Publikováno v:
MFPS 2024
In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour
Externí odkaz:
http://arxiv.org/abs/2402.09217
Publikováno v:
Studia Logica 2024
The logic of bunched implications (BI) can be seen as the free combination of intuitionistic propositional logic (IPL) and intuitionistic multiplicative linear logic (IMLL). We present here a base-extension semantics (B-eS) for BI in the spirit of Sa
Externí odkaz:
http://arxiv.org/abs/2311.16719
Publikováno v:
Tableaux 2023
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of Sandqvist's B-eS for
Externí odkaz:
http://arxiv.org/abs/2306.05106
Autor:
Gheorghiu, Alexander V., Pym, David J.
The use of logical systems for problem-solving may be as diverse as in proving theorems in mathematics or in figuring out how to meet up with a friend. In either case, the problem solving activity is captured by the search for an \emph{argument}, bro
Externí odkaz:
http://arxiv.org/abs/2301.02302
Autor:
Gheorghiu, Alexander V., Pym, David J.
Publikováno v:
Journal of Logic and Computation 2023
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof system for a ta
Externí odkaz:
http://arxiv.org/abs/2301.02125
Autor:
Gheorghiu, Alexander V., Pym, David J.
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenw
Externí odkaz:
http://arxiv.org/abs/2210.05348
Autor:
Gheorghiu, Alexander V., Pym, David J.
Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on 'proof' (as opposed to 'truth'). There are two major approaches to P-tS: proof-theoretic validity (P-tV) and base-extension semantics (B-eS). The former is a semantics of a
Externí odkaz:
http://arxiv.org/abs/2210.05344