Alexander V. Gheorghiu

Available identifiers

zbMath Open gheorghiu.alexander-vMaRDI QIDQ6115848

List of research outcomes

Publication	Date of Publication	Type
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic	2024-02-29	Paper
Semantical analysis of the logic of bunched implications	2023-08-10	Paper
Defining Logical Systems via Algebraic Constraints on Proofs	2023-01-05	Paper
From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic	0001-01-03	Paper
WITHDRAWN: Provability in BI's Sequent Calculus is Decidable	0001-01-03	Paper
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic	0001-01-03	Paper
Proof-theoretic Semantics for the Logic of Bunched Implications	0001-01-03	Paper
Inferentialist Resource Semantics	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander V. Gheorghiu