Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity.



Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2013) Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity. In: 4th International Workshop on Logic, Rationality, and Interaction (LORI).

[img] Text
Sequent_systems_for_nondeterministic_propositional_logics_without_reflexivity.pdf - Author Accepted Manuscript

Download (297kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 30 Nov 2018 10:52
Last Modified: 19 Jan 2023 01:11
URI: https://livrepository.liverpool.ac.uk/id/eprint/3029215