Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic von Gheorghiu, Alexander V, Pym, David J

Volltext

Possible worlds and resources: the semantics of BI von Pym, David J., O'Hearn, Peter W., Yang, Hongseok

Volltext

Base-extension semantics for modal logic von Eckhardt, Timo, Pym, David J

Volltext

Defining Logical Systems via Algebraic Constraints on Proofs von Gheorghiu, Alexander V, Pym, David J

Volltext

The Logic of Bunched Implications von O'Hearn, Peter W., Pym, David J.

Volltext

Semantical Analysis of the Logic of Bunched Implications von Gheorghiu, Alexander V., Pym, David J.

Volltext

The Semantics and Proof Theory of the Logic of Bunched Implications von Pym, David J

Volltext

Inferentialist Public Announcement Logic: Base-extension Semantics von Eckhardt, Timo, Pym, David J

Volltext bestellen

Base-extension semantics for modal logic von Eckhardt, Timo, Pym, David J

Volltext bestellen

Base-extension Semantics for Modal Logic von Eckhardt, Timo, Pym, David J

Volltext bestellen

Defining Logical Systems via Algebraic Constraints on Proofs von Gheorghiu, Alexander V, Pym, David J

Volltext bestellen

Proof-theoretic Semantics and Tactical Proof von Gheorghiu, Alexander V, Pym, David J

Volltext bestellen

Defining Logical Systems via Algebraic Constraints on Proofs von Gheorghiu, Alexander V, Pym, David J

Volltext bestellen

A Note on an Inferentialist Approach to Resource Semantics von Gheorghiu, Alexander V, Gu, Tao, Pym, David J

Volltext bestellen

Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic von Gheorghiu, Alexander V, Pym, David J

Volltext bestellen

Semantical Analysis of the Logic of Bunched Implications von Gheorghiu, Alexander V, Pym, David J

Volltext bestellen

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic von Gheorghiu, Alexander V, Pym, David J

Volltext bestellen

A Note on the Practice of Logical Inferentialism: the State-Effect Interpretation, Definitional Reflection, and Completeness von Gheorghiu, Alexander V, Gu, Tao, Pym, David J

Volltext bestellen

A Note on an Inferentialist Approach to Resource Semantics von Gheorghiu, Alexander V, Gu, Tao, Pym, David J

Volltext bestellen

A Note on the Practice of Logical Inferentialism von Gheorghiu, Alexander V, Gu, Tao, Pym, David J

Volltext bestellen